From 489eb74090a6327454f4a53213480eaa6659704b Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Thu, 22 Oct 2015 17:33:47 +0200 Subject: [PATCH] Make Configure die when unsupported options are given Reviewed-by: Rich Salz --- Configure | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Configure b/Configure index d8ea689d70..79562477f9 100755 --- a/Configure +++ b/Configure @@ -947,6 +947,7 @@ while($argv_unprocessed) $argvstring=join(' ',@argvcopy); PROCESS_ARGS: + my %unsupported_options = (); foreach (@argvcopy) { s /^-no-/no-/; # some people just can't read the instructions @@ -963,7 +964,7 @@ PROCESS_ARGS: my $word = $2; if (!grep { $word =~ /^${_}$/ } @disablables) { - warn "Unsupported option ${word}, ignored...\n"; + $unsupported_options{$_} = 1; next; } } @@ -1135,6 +1136,12 @@ PROCESS_ARGS: { $options .= " ".$_; } } } + + if (keys %unsupported_options) + { + die "***** Unsupported options: ", + join(", ", keys %unsupported_options), "\n"; + } } -- 2.25.1