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