diff options
Diffstat (limited to 'util/mkdef.pl')
-rwxr-xr-x | util/mkdef.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/mkdef.pl b/util/mkdef.pl index 93dd25102043..85337710a308 100755 --- a/util/mkdef.pl +++ b/util/mkdef.pl @@ -975,6 +975,8 @@ sub do_defs $platform{"SHA512_Final"} = "!VMSVAX"; $platform{"SHA512"} = "!VMSVAX"; + $platform{"pqueue_print"} = "!VMSVAX"; + # Info we know about push @ret, map { $_."\\".&info_string($_,"EXIST", |