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 eb23bdec60..1139160080 100755 --- a/util/mkdef.pl +++ b/util/mkdef.pl @@ -145,6 +145,8 @@ foreach (@ARGV, split(/ /, $options)) $do_crypto=1; $libname=$_; } + $no_static_engine=1 if $_ eq "no-static-engine"; + $no_static_engine=0 if $_ eq "enable-static-engine"; $do_update=1 if $_ eq "update"; $do_rewrite=1 if $_ eq "rewrite"; $do_ctest=1 if $_ eq "ctest"; |