From a9feb9f3302e041671f0acb40edd7977d93a5e06 Mon Sep 17 00:00:00 2001 From: Aryeh Date: Sun, 29 Nov 2020 18:08:39 +1100 Subject: [PATCH] Added dir command --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index dcd3c46..91aec98 100644 --- a/Makefile +++ b/Makefile @@ -53,7 +53,8 @@ setup: include lib submodules: git submodule update --init --recursive ifeq ($(platform), Windows) - echo if errorlevel gtr 7 exit errorlevel > CheckCopyError.bat + echo if errorlevel gtr 7 exit errorlevel > "CheckCopyError.bat" + dir endif # Copy the relevant header files into includes