Changeset 05c34c3 for Jenkinsfile

Timestamp:

Jun 26, 2019, 10:14:36 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

35a408b7

Parents:

f93f35a

Message:

Reverted local timeout but increased global timeout

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -138 +138 @@
                 dir (BuildDir) {
                         //Run the tests from the tests directory
-                        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 --global-timeout=14400" all-tests debug=yes'
+                        sh 'make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no '
                 }
         }