Changes in Jenkinsfile [0961bf4:f408e1a]

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 --no-print-directory'
-                        sh 'make -C src/tests all-tests debug=no --no-print-directory'
+                        sh 'make -C src/tests all-tests debug=yes'
+                        sh 'make -C src/tests all-tests debug=no'
                 }
                 else {
-                        sh 'make -C src/tests --no-print-directory'
+                        sh 'make -C src/tests'
                 }
         }