make.bat: more cleaning up

pull/4771/head
yuyi 2020-05-07 18:29:26 +08:00 committed by GitHub
parent 0a930f9862
commit 78c292b448
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions

View File

@ -44,6 +44,7 @@ if %ERRORLEVEL% NEQ 0 (
)
rd /s /q vc
del v_old.exe
goto :success
:msvc_strap
@ -81,15 +82,12 @@ v self
if %ERRORLEVEL% NEQ 0 (
echo V failed to build itself with error %ERRORLEVEL%
rd /s /q vc
del v_old.exe
del vc140.pdb
del %ObjFile%
goto :compile_error
)
rd /s /q vc
del v_old.exe
del vc140.pdb
del %ObjFile%
goto :success