Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f408e1a4b32252bdcb6bfa747a748e6103fef057)
+++ Jenkinsfile	(revision dbfb35d76ceed772a6ff46bbdccff6cee91c436e)
@@ -274,9 +274,9 @@
 		//Run the tests from the tests directory
 		if ( do_alltests ) {
-			sh 'make -C src/tests all-tests debug=yes'
-			sh 'make -C src/tests all-tests debug=no'
+			sh 'make -C src/tests all-tests debug=yes --no-print-directory'
+			sh 'make -C src/tests all-tests debug=no --no-print-directory'
 		}
 		else {
-			sh 'make -C src/tests'
+			sh 'make -C src/tests --no-print-directory'
 		}
 	}