Changes in Jenkinsfile [f408e1a:0961bf4]

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -274 +274 @@
                 //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'
                 }
         }