# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1255185672 -7200
# Node ID cb9d5bf0cdc4fce96fff9891b81e51be47b37017
# Parent  0d1e38ea15cfd946277352483dce8f570e021f9b
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)

diff -r 0d1e38ea15cf -r cb9d5bf0cdc4 configure
--- a/configure	Thu Oct 08 23:29:45 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