diff --git a/Configure b/Configure index 9e9f100a71c1d037711ed77236d08011b8fa0205..edc9757e08756f6a8381d3e23877f34271129bf9 100755 --- a/Configure +++ b/Configure @@ -952,6 +952,7 @@ while($argv_unprocessed) $argvstring=join(' ',@argvcopy); PROCESS_ARGS: + { my %unsupported_options = (); foreach (@argvcopy) { @@ -1148,7 +1149,7 @@ PROCESS_ARGS: join(", ", keys %unsupported_options), "\n"; } } - + } if ($processor eq "386")