cleanup="no"
verbose="no"
keepGoing="no"
+remove_cache_file="true"
while [ $# -ge 1 ]; do
case "$1" in
--cleanup)
export cache_file
shift
;;
+ --aggressively-use-config-cache)
+ #environment variable will be picked up by buildtest.sh
+ #note: use ONLY if you know what you're doing
+ cache_file=/tmp/config.cache
+ remove_cache_file="false"
+ export cache_file
+ shift
+ ;;
*)
break
;;
}
# if using cache, make sure to clear it up first
-if [ -n "$cache_file" -a -e "$cache_file" ]; then
+if [ -n "$cache_file" -a -e "$cache_file" -a "$remove_cache_file" = "true" ]; then
rm $cache_file
fi
fi
done
+# if using cache, make sure to clear it up first
+if [ -n "$cache_file" -a -e "$cache_file" -a "$remove_cache_file" = "true" ]; then
+ rm $cache_file
+fi
+
exit $globalResult