From 4ca453b6de65b9a8b7eab1a082be2ff85770e5b5 Mon Sep 17 00:00:00 2001 From: Chanrles WANG Date: Thu, 5 Dec 2019 19:41:57 +0800 Subject: [PATCH] make.bat improvements --- make.bat | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/make.bat b/make.bat index 54a58b1f8d..981cbee854 100644 --- a/make.bat +++ b/make.bat @@ -85,6 +85,10 @@ if %ERRORLEVEL% NEQ 0 ( del v2.exe del v3.exe rd /s /q vc +del v.pdb +del v3.ilk +del v3.pdb +del vc140.pdb goto :success @@ -107,3 +111,5 @@ echo Exiting from error exit /b 1 :success +echo V build OK! +v -v