diff --git a/unit_tests/compile.bat b/unit_tests/compile.bat index 1f0ee470ef..20ae4d6a70 100644 --- a/unit_tests/compile.bat +++ b/unit_tests/compile.bat @@ -1,4 +1,8 @@ -echo I am compiling unit tests -rm -rf .dep/ -rm -rf build/ -make -j4 +@echo off +sh.exe compile.sh || ( + if exist C:\cygwin64 ( + C:\cygwin64\bin\sh.exe compile.sh + ) else ( + if exist C:\cygwin ( C:\cygwin\bin\sh.exe compile.sh ) + ) +) diff --git a/unit_tests/compile.sh b/unit_tests/compile.sh new file mode 100644 index 0000000000..f6452ffe7e --- /dev/null +++ b/unit_tests/compile.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +echo "Compiling unit tests" +rm -rf .dep/ +rm -rf build/ +make -j4