configure
branch1.5
changeset 1572 cb9d5bf0cdc4
parent 1560 79a609170a83
child 1571 2f44fac6b514
     1.1 --- a/configure	Sat Oct 03 18:49:23 2009 +0200
     1.2 +++ b/configure	Sat Oct 10 16:41:12 2009 +0200
     1.3 @@ -121,6 +121,7 @@
     1.4                      eval val="\${${var}}"
     1.5                      if [ -n "${val}" ]; then
     1.6                          printf "${val} (cached)\n"
     1.7 +                        add_to_var_list "${var}"
     1.8                          return 0
     1.9                      fi
    1.10                  fi