Update Makefile

This commit is contained in:
Aryeh 2020-11-29 18:04:02 +11:00 committed by GitHub
parent 4d7258bda1
commit 41decacdc8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -54,7 +54,7 @@ submodules:
git submodule update --init --recursive
ifeq ($(platform), Windows)
echo if errorlevel gtr 7 exit errorlevel > CheckCopyError.bat
type CheckError.bat
type CheckCopyError.bat
endif
# Copy the relevant header files into includes