Changeset d4510ea


Ignore:
Timestamp:
Apr 18, 2019, 2:06:56 PM (2 years ago)
Author:
tdelisle <tdelisle@…>
Branches:
arm-eh, cleanup-dtors, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    rf15fe0a rd4510ea  
    116116                        //Also specify the compiler by hand
    117117                        targets=""
    118                         if( Settings.RunAllTests ) {
     118                        if( Settings.RunAllTests || Settings.RunBenchmark ) {
    119119                                targets="--with-target-hosts='host:debug,host:nodebug'"
    120120                        } else {
Note: See TracChangeset for help on using the changeset viewer.