From c87b7d37fb5552644b618bc78a7ed81018ee2b86 Mon Sep 17 00:00:00 2001 From: Rodolfo Barcelli Jo Date: Thu, 22 Jan 2026 10:49:56 +0800 Subject: [PATCH] Update: Change build script to have a run option --- build.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/build.bat b/build.bat index 507473c..09663d1 100644 --- a/build.bat +++ b/build.bat @@ -5,4 +5,5 @@ mkdir build pushd ".\build" cl /Za /GR- /Oi /EHa- /MTd /Zi /Tc "..\test\main.c" +if "%1"=="--run" if %errorlevel%==0 main.exe popd