diff --git a/Configure b/Configure index 9f363f6292a2f66f0d34b672f80561863900d782..8aa96dcb08d2a3b08846141fba0a45900a80c1db 100755 --- a/Configure +++ b/Configure @@ -422,6 +422,7 @@ my $target=""; my $options=""; foreach (@ARGV) { + s /^-no-/no-/; # some people just can't read the instructions if (/^no-asm$/) { $no_asm=1;