Changeset efd60d67


Ignore:
Timestamp:
Feb 14, 2017, 5:18:27 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
5beb6cd
Parents:
35cd219
Message:

Jenkins now adds benchmark information to public file

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r35cd219 refd60d67  
    8080                        make_doc()
    8181                }
     82}
     83
     84def benchmark() {
     85        stage 'Benchmark'
     86
     87                status_prefix = 'Documentation'
     88
     89                sh 'make -C src/benchmark csv-data >> ~cforall/public_html/perf-history/concurrency.csv'
    8290}
    8391
     
    183191                                doc_build()
    184192
     193                                //Run benchmark and save result
     194                                benchmark()
     195
    185196                                if( bIsFullBuild ) {
    186197                                        //Compile using gcc-5
Note: See TracChangeset for help on using the changeset viewer.