From d50338fb5788ea4a6375bee44835f12c9e8e4006 Mon Sep 17 00:00:00 2001
From: Tim Angus <tim@ngus.net>
Date: Fri, 22 Mar 2013 16:53:29 +0000
Subject: [PATCH] Use distclean for jenkins builds

---
 jenkins-ci-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 $?