diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-10 14:41:12 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-10-10 14:41:12 (GMT) |
commit | 8d0062fabcb8bec989489cbe999a313ea7e99d66 (patch) | |
tree | 540680095a01cc9cb4cafd8618dd8d610bed7e7e | |
parent | e11863d1676b57e0df80a6ef5b5d9296d8a176cd (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-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |