diff options
| author | Tim Angus <tim@ngus.net> | 2013-03-22 16:53:29 +0000 |
|---|---|---|
| committer | Tim Angus <tim@ngus.net> | 2013-03-22 19:04:09 +0000 |
| commit | 261226a165558f098ab3deec0dff869413f69e70 (patch) | |
| tree | 802aeb5560cce500b699074e1a821d888b6e5fa1 | |
| parent | ceb5fe996511bbfd7f7ea2825d7d6ba4ddc413e4 (diff) | |
Use distclean for jenkins builds
| -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 $? |