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

1 files changed, 7 insertions, 1 deletions

diff --git a/Configure b/Configure
index e4571dce83..8f5285c218 100755
--- 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") {