Changes in Jenkinsfile [5007618:67408114]

File:

• Jenkinsfile (modified) (2 diffs)

Jenkinsfile

@@ -155 +155 @@
                         dir (BuildDir) {
                                 //Run the tests from the tests directory
-                                sh """make ${jopt} --no-print-directory -C tests timeout=600 global-timeout=14400 tests debug=yes archive-errors=${BuildDir}/tests/crashes/full-debug"""
+                                sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" tests debug=yes archiveerrors=${BuildDir}/tests/crashes/full-debug"""
                         }
                 }
@@ -162 +162 @@
                         dir (BuildDir) {
                                 //Run the tests from the tests directory
-                                sh """make ${jopt} --no-print-directory -C tests timeout=600 global-timeout=14400 tests debug=no archive-errors=${BuildDir}/tests/crashes/full-nodebug"""
+                                sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" tests debug=no archiveerrors=${BuildDir}/tests/crashes/full-nodebug"""
                         }
                 }