diff options
author | Richard Levitte <levitte@openssl.org> | 2000-12-31 01:54:18 +0000 |
---|---|---|
committer | Richard Levitte <levitte@openssl.org> | 2000-12-31 01:54:18 +0000 |
commit | 7f2113a2d5d3da499d3bba096746ab1390f2b592 (patch) | |
tree | c7d72bf1e163c5bf82450c5a1b285c810137c64c /util/mk1mf.pl | |
parent | 97f56446a3f5bb012dda3825d96e6167f108e29d (diff) |
The option line may start with a space, which gives an empty option.
Make sure those are purged...
Diffstat (limited to 'util/mk1mf.pl')
-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; } |