mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-10-21 23:18:11 +00:00
* Delete all environment variables after use to avoid that
the environment space becomes exhausted.
This commit is contained in:
1 parent
8c5b881de5
commit
1bddda4d85
1 file changed
+3
-3
+3
-3
@@ -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=
|
||||
Reference in new issue
Block a user