# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1255185672 -7200
# Node ID 1d43b65599a4b869d83d4db67b9715b1298d74f7
# Parent  a4e30d311569d92a941d1bfec571110dd19a56a5
configure: fix --with-foo=/path/to/foo

When a required tool is specified with --with-foo, store the variable
in the list.

diff -r a4e30d311569 -r 1d43b65599a4 configure
--- a/configure	Fri Oct 09 16:22:09 2009 +0200
+++ b/configure	Sat Oct 10 16:41:12 2009 +0200
@@ -121,6 +121,7 @@
                     eval val="\${${var}}"
                     if [ -n "${val}" ]; then
                         printf "${val} (cached)\n"
+                        add_to_var_list "${var}"
                         return 0
                     fi
                 fi