Changeset 3fc5f010

Timestamp:

Aug 10, 2018, 6:18:06 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

6bde81d

Parents:

ae628e1

Message:

Jenkins no longer builds nodebug if it isn't needed

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -277 +277 @@
                         //Use the current directory as the installation target so nothing escapes the sandbox
                         //Also specify the compiler by hand
-                        sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} --with-backend-compiler=${compiler.cfa_cc} --quiet"
+                        targets=""
+                        if(do_alltests) {
+                                targets="--with-target-hosts='host:nodebug,host:debug'"
+                        } else {
+                                targets="--with-target-hosts='host:nodebug'"
+                        }
+
+                        sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} ${targets} --with-backend-compiler=${compiler.cfa_cc} --quiet"
 
                         //Compile the project