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