Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f408e1a4b32252bdcb6bfa747a748e6103fef057)
+++ Jenkinsfile	(revision c850687eb917f931218d61a9f12b8c3c9f211d1c)
@@ -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'
 		}
 	}