Don't confuse mk1mf.pl by combining multiple options into one.

diff --git a/Configure b/Configure
index e4571dce838793f004bbd05bc057cb80e2e0371c..8f5285c218319ba73cbbca9ff1d2a4d79c95b419 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -390,7 +390,13 @@ foreach (@ARGV)
                die "target already defined - $target\n" if ($target ne "");
                $target=$_;
                }
-       $options .= $_ unless $_ eq $target;
+       unless ($_ eq $target) {
+               if ($options eq "") {
+                       $options = $_;
+               } else {
+                       $options .= " ".$_;
+               }
+       }
 }
 
 if ($target eq "TABLE") {