From 114fce42422372656018e376960ceb4aa39907da Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sat, 12 Oct 2019 04:19:28 +0300 Subject: [PATCH] make.bat: a better info message --- make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.bat b/make.bat index 395b2e9f95..71ecfa5a3d 100644 --- a/make.bat +++ b/make.bat @@ -34,7 +34,7 @@ if %ERRORLEVEL% NEQ 0 ( exit /b 1 ) -echo rebuild from source (twice, in case of C definitions changes) +echo Now using V to build V... v2.exe -o v3.exe compiler v3.exe -o v.exe -prod compiler if %ERRORLEVEL% NEQ 0 (