From 5820191ffaeff516fc20a0cdac9fd31519f314bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Wed, 3 Apr 2024 14:36:26 +0200 Subject: [PATCH] add build_tools.bat --- tools/build_tools.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/build_tools.bat b/tools/build_tools.bat index 7d4d572..f94e118 100644 --- a/tools/build_tools.bat +++ b/tools/build_tools.bat @@ -1,4 +1,5 @@ @echo off +cd /d "%~dp0"\.. REM Build ark cl ark.c /MT /O2 /DNDEBUG /link setargv.obj