summaryrefslogtreecommitdiff
path: root/configure
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)
commit61fdb0e510b73d4330198d59beb82038d4e8e58a (patch)
tree2577abc87cbbaa71659830b63e53fcc86ffa77a4 /configure
parent68fba106a2ee820533410d781a3e5d17dece74a7 (diff)
configure: fix --with-foo=/path/to/foo
When a required tool is specified with --with-foo, store the variable in the list. (transplanted from 1d43b65599a4b869d83d4db67b9715b1298d74f7)
Diffstat (limited to 'configure')
-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