From 62e5a06b39c699439bb3f51fff6680dff5e01af0 Mon Sep 17 00:00:00 2001 From: Aryeh Date: Sun, 29 Nov 2020 18:06:13 +1100 Subject: [PATCH] Removed type command --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index ac35e16..dcd3c46 100644 --- a/Makefile +++ b/Makefile @@ -54,7 +54,6 @@ submodules: git submodule update --init --recursive ifeq ($(platform), Windows) echo if errorlevel gtr 7 exit errorlevel > CheckCopyError.bat - type CheckCopyError.bat endif # Copy the relevant header files into includes