From fbabb75207d17e92cedb5fd0b6d6c3816c3bb167 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bodo=20M=C3=B6ller?= Date: Fri, 9 Jul 1999 12:00:34 +0000 Subject: [PATCH] Don't confuse mk1mf.pl by combining multiple options into one. --- Configure | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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") { -- 2.34.1