Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 0759ba0c5a04ecfe0dafe558076327ff4fa5d97d)
+++ Jenkinsfile	(revision 2fa483cc24f02d31b82b832cd8318db0ab5574d3)
@@ -277,13 +277,11 @@
 	build_stage('Test') {
 
-		dir ('build/src/tests') {
-			//Run the tests from the tests directory
-			if ( do_alltests ) {
-				sh 'make all-tests debug=yes --no-print-directory'
-				sh 'make all-tests debug=no --no-print-directory'
-			}
-			else {
-				sh 'make --no-print-directory'
-			}
+		//Run the tests from the tests directory
+		if ( do_alltests ) {
+			sh 'make -C build/src/tests all-tests debug=yes --no-print-directory'
+			sh 'make -C build/src/tests all-tests debug=no --no-print-directory'
+		}
+		else {
+			sh 'make -C build/src/tests --no-print-directory'
 		}
 	}
@@ -296,5 +294,5 @@
 
 		//Append bench results
-		sh 'make -C src/benchmark --no-print-directory jenkins githash=' + gitRefNewValue + ' arch=' + arch_name + ' | tee bench.json'
+		sh 'make -C build/src/benchmark --no-print-directory jenkins githash=' + gitRefNewValue + ' arch=' + arch_name + ' | tee bench.json'
 	}
 }