+++ /dev/null
-@echo off\r
-make -C .. -s _test\r
-IF ERRORLEVEL 1 GOTO fail\r
-SET MAKE_FAILED=0\r
-GOTO end\r
-:fail\r
-echo ************************************************\r
-echo * A compatible (GNU) make was not detected *\r
-echo * Please get an updated version of the Windows *\r
-echo * compile environment, or install GNU make *\r
-echo * manually *\r
-echo ************************************************\r
-SET MAKE_FAILED=1\r
-:end\r