The option line may start with a space, which gives an empty option.

Make sure those are purged...

diff --git a/util/mk1mf.pl b/util/mk1mf.pl
index 0db416a6d4a0c09a82b07b5fe82a8caa240b3443..ff0dbecc455df47f16b559a5deb9a4b68bff7e3e 100755 (executable)
--- a/util/mk1mf.pl
+++ b/util/mk1mf.pl
@@ -81,7 +81,7 @@ EOF
                }
        $platform=$_;
        }
                }
        $platform=$_;
        }

-foreach (split / /, $OPTIONS)
+foreach (grep(!/^$/, split(/ /, $OPTIONS)))

        {
        print STDERR "unknown option - $_\n" if !&read_options;
        }
        {
        print STDERR "unknown option - $_\n" if !&read_options;
        }