summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-10-10 14:41:12 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-10-10 14:41:12 (GMT)
commit8d0062fabcb8bec989489cbe999a313ea7e99d66 (patch)
tree540680095a01cc9cb4cafd8618dd8d610bed7e7e
parente11863d1676b57e0df80a6ef5b5d9296d8a176cd (diff)
configure: fix --with-foo=/path/to/foo
When a required tool is specified with --with-foo, store the variable in the list.
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 2b97f50..ed95c27 100755
--- a/configure
+++ b/configure
@@ -121,6 +121,7 @@ check_for() {
eval val="\${${var}}"
if [ -n "${val}" ]; then
printf "${val} (cached)\n"
+ add_to_var_list "${var}"
return 0
fi
fi