diff options
| author | Juan Manuel Guerrero <juan.guerrero@gmx.de> | 2006-03-14 23:10:09 +0000 |
|---|---|---|
| committer | Juan Manuel Guerrero <juan.guerrero@gmx.de> | 2006-03-14 23:10:09 +0000 |
| commit | 1bddda4d85d1d9431a05699ce1aae40e865de797 (patch) | |
| tree | f67ea48b80b1183c5366cdde1c76a099b6e044aa | |
| parent | 8c5b881de50965796a15a43838a0ea7aa490289e (diff) | |
| download | bison-1bddda4d85d1d9431a05699ce1aae40e865de797.tar.gz | |
* Delete all environment variables after use to avoid that
the environment space becomes exhausted.
| -rw-r--r-- | djgpp/config.bat | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/djgpp/config.bat b/djgpp/config.bat index ee9c4c7f..4a20f80a 100644 --- a/djgpp/config.bat +++ b/djgpp/config.bat @@ -157,6 +157,9 @@ if not "%ARGS%" == "" echo %ARGS% >> arguments set ARGS=
set CACHING=
set DEPENDENCY_TRACKING=
+set LIBICONV_PREFIX=
+set LIBINTL_PREFIX=
+set HTML=
if "%XSRC%" == "." goto InPlace
@@ -459,10 +462,7 @@ if not errorlevel 1 mv -f %XSRC%/install-sh %XSRC%/install-sh.sh :NoRen1
if "%SHELL%" == "/bin/sh" set SHELL=
if "%HOME%" == "%XSRC%/djgpp" set HOME=
-set ARGS=
set CONFIG_SITE=
set HOSTNAME=
set NLS=
-set CACHING=
-set DEPENDENCY_TRACKING=
set XSRC=
|