diff options
| -rwxr-xr-x | jenkins-ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh index 33c17e95..b18ff14b 100755 --- a/jenkins-ci-build.sh +++ b/jenkins-ci-build.sh @@ -11,6 +11,6 @@ fi CORES=`awk '/^processor/ { N++} END { print N }' /proc/cpuinfo` -make -j${CORES} clean ${BUILD_TYPE} +make -j${CORES} distclean ${BUILD_TYPE} exit $? |