Removed type command

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

View File

@ -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