Changeset 5007618 for Jenkinsfile

Timestamp:

May 28, 2023, 8:31:29 AM (13 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ast-experimental, master

Children:

4d5c855

Parents:

124400b

Message:

update tests/Makefile.am and corresponding Jenkinsfile with more specialized variables

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