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

Make sure those are purged...

1 files changed, 1 insertions, 1 deletions

diff --git a/util/mk1mf.pl b/util/mk1mf.pl
index 0db416a6d4..ff0dbecc45 100755
--- a/util/mk1mf.pl
+++ b/util/mk1mf.pl
@@ -81,7 +81,7 @@ EOF
 		}
 	$platform=$_;
 	}
-foreach (split / /, $OPTIONS)
+foreach (grep(!/^$/, split(/ /, $OPTIONS)))
 	{
 	print STDERR "unknown option - $_\n" if !&read_options;
 	}