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