Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 56d138e05af78c7a4e2075db733142726de91842)
+++ Jenkinsfile	(revision 7fb69f6ff47e3cf80a48e7d4a2d60484ab537f48)
@@ -302,7 +302,6 @@
 def clean() {
 	build_stage('Cleanup') {
-
-		//do a maintainer-clean to make sure we need to remake from scratch
-		sh 'make maintainer-clean > /dev/null'
+		// clean the build by wipping the build directory
+		sh 'rm -rf build'
 	}
 }