Changeset d4510ea

Timestamp:

Apr 18, 2019, 2:06:56 PM (6 years ago)

Author:

tdelisle <tdelisle@…>

Branches:

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

Children:

d9f2874

Parents:

f15fe0a

Message:

Jenkins now also builds the nodebug version if the build should NOT run all tests but SHOULD run benchmarks

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -116 +116 @@
                         //Also specify the compiler by hand
                         targets=""
-                        if( Settings.RunAllTests ) {
+                        if( Settings.RunAllTests || Settings.RunBenchmark ) {
                                 targets="--with-target-hosts='host:debug,host:nodebug'"
                         } else {