Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision fb975a5052d73ae7c15f8f4a02463c75b2fec139)
+++ Jenkinsfile	(revision 0c1b5660b6f5a0957c905780ecc5883a812e52a7)
@@ -277,5 +277,5 @@
 			//Use the current directory as the installation target so nothing escapes the sandbox
 			//Also specify the compiler by hand
-			sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} --with-backend-compiler=${compiler.cfa_cc} --enable-silent-rules --quiet"
+			sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} --with-backend-compiler=${compiler.cfa_cc} --quiet"
 
 			//Compile the project
@@ -291,9 +291,9 @@
 			//Run the tests from the tests directory
 			if ( do_alltests ) {
-				sh 'make --no-print-directory -C src/tests all-tests debug=yes'
-				sh 'make --no-print-directory -C src/tests all-tests debug=no '
+				sh 'make --no-print-directory -C tests all-tests debug=yes'
+				sh 'make --no-print-directory -C tests all-tests debug=no '
 			}
 			else {
-				sh 'make --no-print-directory -C src/tests'
+				sh 'make --no-print-directory -C tests'
 			}
 		}
@@ -308,5 +308,5 @@
 		dir (builddir) {
 			//Append bench results
-			sh "make --no-print-directory -C src/benchmark jenkins githash=${gitRefNewValue} arch=${arch_name} | tee ${srcdir}/bench.json"
+			sh "make --no-print-directory -C benchmark jenkins githash=${gitRefNewValue} arch=${arch_name} | tee ${srcdir}/bench.json"
 		}
 	}