Changes in Jenkinsfile [84917e2:cdcd53dc]

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -130 +130 @@
                         //Run the tests from the tests directory
                         if ( Settings.RunAllTests ) {
-                                sh 'make --no-print-directory -C tests timeouts="--timeout=1200" all-tests debug=yes'
-                                sh 'make --no-print-directory -C tests timeouts="--timeout=1200" all-tests debug=no '
+                                sh 'make --no-print-directory -C tests timeouts="--timeout=600" all-tests debug=yes'
+                                sh 'make --no-print-directory -C tests timeouts="--timeout=600" all-tests debug=no '
                         }
                         else {