diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/mk1mf.pl | 2 |
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; } |