1 files changed, 2 insertions, 11 deletions
diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh
index eb09a37a..33c17e95 100755
--- a/jenkins-ci-build.sh
+++ b/jenkins-ci-build.sh
@@ -9,17 +9,8 @@ then
     export USE_FREETYPE=1
 fi
 
-if [ "$PLATFORM" = "mingw32" ];
-then
-	MAKE=./cross-make-mingw.sh
-else
-	MAKE=make
-fi
-
 CORES=`awk '/^processor/ { N++} END { print N }' /proc/cpuinfo`
 
-# Default Build
-($MAKE -j${CORES} clean ${BUILD_TYPE})
-SUCCESS=$?
+make -j${CORES} clean ${BUILD_TYPE}
 
-exit ${SUCCESS}
+exit $?