diff --git a/src/make.bat b/src/make.bat index 0ba2dd57c5..8f43470819 100644 --- a/src/make.bat +++ b/src/make.bat @@ -105,7 +105,7 @@ endlocal if errorlevel 1 goto fail .\cmd\dist\dist.exe env -w -p >env.bat if errorlevel 1 goto fail -call env.bat +call .\env.bat del env.bat if x%vflag==x-v echo.