Added dir command

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

View File

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