Changes in / [5beb6cd:cf97ccb]

File:

• Jenkinsfile (modified) (2 diffs)

Jenkinsfile

@@ -80 +80 @@
                         make_doc()
                 }
-}
-
-def benchmark() {
-        stage 'Benchmark'
-
-                status_prefix = 'Documentation'
-
-                sh 'make -C src/benchmark csv-data >> ~cforall/public_html/perf-history/concurrency.csv'
 }
 
@@ -191 +183 @@
                                 doc_build()
 
-                                //Run benchmark and save result
-                                benchmark()
-
                                 if( bIsFullBuild ) {
                                         //Compile using gcc-5