Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 10a7775d07dcc9d19f88786e6be9a198720e9cac)
+++ Jenkinsfile	(revision e365cb53bad5e4b5c75e0ec39f328dfd43a15597)
@@ -8,6 +8,7 @@
 		def install_dir = pwd tmp: true
 		//checkout the source code and clean the repo
-		sh "rm -rf * ${install_dir}/*"
 		checkout scm
+		sh 'git clean -fdqx'
+		sh 'git reset --hard'
 
 	build_stage 'Build'
@@ -31,6 +32,6 @@
 	build_stage 'Cleanup'
 
-		//Cleanup the install dir
-		sh "rm -rf ${install_dir}/*"
+		//do a maintainer-clean to make sure we need to remake from scratch
+		sh 'make maintainer-clean > /dev/null'
 }
 
@@ -77,6 +78,6 @@
 		// timeout(30) {
 		//
-		// 	//Wrap build to add timestamp to command line
-		// 	wrap([$class: 'TimestamperBuildWrapper']) {
+			//Wrap build to add timestamp to command line
+			wrap([$class: 'TimestamperBuildWrapper']) {
 
 				//Compile using gcc-4.9
@@ -84,5 +85,5 @@
 				cfa_build()
 
-		// 	}
+			}
 		// }