summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorNicolas George <nicolas.george@normalesup.org>2012-11-11 21:29:27 +0100
committerNicolas George <nicolas.george@normalesup.org>2012-11-17 11:57:17 +0100
commitc551c3b18bab9710bc50ddacf866431f43e033f6 (patch)
tree09ab72d4918a8b2661fbe369d47fc2d4a3a8422f /configure
parenta0f2d3fff5344649698f17d614b29ec337654e48 (diff)
configure: warn when en/disabling has no effect.
Print a warning for --enable- or --disable-something=pattern does not match any component.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure b/configure
index e7738cdd70..6904330183 100755
--- a/configure
+++ b/configure
@@ -2222,7 +2222,9 @@ for opt do
is_in "${thing}s" $COMPONENT_LIST || die_unknown "$opt"
eval list=\$$(toupper $thing)_LIST
name=$(echo "${optval}" | sed "s/,/_${thing}|/g")_${thing}
- $action $(filter "$name" $list)
+ list=$(filter "$name" $list)
+ [ "$list" = "" ] && warn "Option $opt did not match anything"
+ $action $list
;;
--enable-?*|--disable-?*)
eval $(echo "$opt" | sed 's/--/action=/;s/-/ option=/;s/-/_/g')