]> git.saurik.com Git - bison.git/commitdiff
* Delete all environment variables after use to avoid that
authorJuan Manuel Guerrero <juan.guerrero@gmx.de>
Tue, 14 Mar 2006 23:10:09 +0000 (23:10 +0000)
committerJuan Manuel Guerrero <juan.guerrero@gmx.de>
Tue, 14 Mar 2006 23:10:09 +0000 (23:10 +0000)
  the environment space becomes exhausted.

djgpp/config.bat

index ee9c4c7f796692e12dbea3a70c6e75db7ccabaf7..4a20f80a8daed46e4072c37ca6c49435f8b39b70 100644 (file)
@@ -157,6 +157,9 @@ if not "%ARGS%" == ""                    echo %ARGS% >> arguments
 set ARGS=\r
 set CACHING=\r
 set DEPENDENCY_TRACKING=\r
+set LIBICONV_PREFIX=\r
+set LIBINTL_PREFIX=\r
+set HTML=\r
 \r
 if "%XSRC%" == "." goto InPlace\r
 \r
@@ -459,10 +462,7 @@ if not errorlevel 1 mv -f %XSRC%/install-sh %XSRC%/install-sh.sh
 :NoRen1\r
 if "%SHELL%" == "/bin/sh" set SHELL=\r
 if "%HOME%" == "%XSRC%/djgpp" set HOME=\r
-set ARGS=\r
 set CONFIG_SITE=\r
 set HOSTNAME=\r
 set NLS=\r
-set CACHING=\r
-set DEPENDENCY_TRACKING=\r
 set XSRC=\r