Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision cc640aadedb54d666759f45d5d89d72bd7bf5be3)
+++ Jenkinsfile	(revision fa2de9578cda12bc9dfa0f3bc8f2c87a3754e630)
@@ -31,12 +31,10 @@
 
 		//Run the tests from the tests directory
-		dir ('src/tests') {
-			if (full_build) {
-				sh 'make all-tests debug=yes'
-				sh 'make all-tests debug=no'
-			}
-			else {
-				sh 'make'
-			}
+		if (full_build) {
+			sh 'make -C src/tests all-tests debug=yes'
+			sh 'make -C src/tests all-tests debug=no'
+		}
+		else {
+			sh 'make -C src/tests'
 		}