make.bat: fix not at root dir error

pull/4081/head
yuyi 2020-03-20 23:40:49 +08:00 committed by GitHub
parent 15d4b5fcdb
commit 5f32663714
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -2,6 +2,8 @@
echo Building V echo Building V
pushd %~dp0
if exist "vc" ( if exist "vc" (
rd /s /q vc rd /s /q vc
) )
@ -110,8 +112,10 @@ goto :error
:error :error
echo Exiting from error echo Exiting from error
popd
exit /b 1 exit /b 1
:success :success
echo V build OK! echo V build OK!
v -version v -version
popd