Use distclean for jenkins builds

2013-03-22 16:53:29 +00:00
parent 5d862d222e
commit d50338fb57
1 changed files with 1 additions and 1 deletions
--- 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 $?