From 7f2113a2d5d3da499d3bba096746ab1390f2b592 Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Sun, 31 Dec 2000 01:54:18 +0000 Subject: [PATCH] The option line may start with a space, which gives an empty option. Make sure those are purged... --- util/mk1mf.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }