Changes in / [cf97ccb:5beb6cd]

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'
 }
 
@@ -183 +191 @@
                                 doc_build()
 
+                                //Run benchmark and save result
+                                benchmark()
+
                                 if( bIsFullBuild ) {
                                         //Compile using gcc-5