A few more things that aren't built on VAX

diff --git a/util/mkdef.pl b/util/mkdef.pl
index 1d579c897c29f11da042c3a5c286aae3c7ab1607..a4a17e3ae9fdbd565fc27b82e1ec304497849cd5 100755 (executable)
--- a/util/mkdef.pl
+++ b/util/mkdef.pl
@@ -978,6 +978,12 @@ sub do_defs
        $platform{"SHA512_Update"} = "!VMSVAX";
        $platform{"SHA512_Final"} = "!VMSVAX";
        $platform{"SHA512"} = "!VMSVAX";
+       $platform{"WHIRLPOOL_Init"} = "!VMSVAX";
+       $platform{"WHIRLPOOL"} = "!VMSVAX";
+       $platform{"WHIRLPOOL_BitUpdate"} = "!VMSVAX";
+       $platform{"EVP_whirlpool"} = "!VMSVAX";
+       $platform{"WHIRLPOOL_Final"} = "!VMSVAX";
+       $platform{"WHIRLPOOL_Update"} = "!VMSVAX";
 
 
        # Info we know about