The option line may start with a space, which gives an empty option.
authorRichard Levitte <levitte@openssl.org>
Sun, 31 Dec 2000 01:54:18 +0000 (01:54 +0000)
committerRichard Levitte <levitte@openssl.org>
Sun, 31 Dec 2000 01:54:18 +0000 (01:54 +0000)
Make sure those are purged...

util/mk1mf.pl

index 0db416a..ff0dbec 100755 (executable)
@@ -81,7 +81,7 @@ EOF
                }
        $platform=$_;
        }
-foreach (split / /, $OPTIONS)
+foreach (grep(!/^$/, split(/ /, $OPTIONS)))
        {
        print STDERR "unknown option - $_\n" if !&read_options;
        }