Changes in Jenkinsfile [f97b614:f51ef6f]

File:

• Jenkinsfile (modified) (4 diffs)

Jenkinsfile

@@ -80 +80 @@
                         make_doc()
                 }
+}
+
+def benchmark() {
+        stage 'Benchmark'
+
+                status_prefix = 'Documentation'
+
+                // //We can't just write to a file outside our repo
+                // //Copy the file locally using ssh
+                // sh 'scp plg2.cs.uwaterloo.ca:/u/cforall/public_html/perf-history/concurrency.csv bench.csv'
+
+                // //Then append to the local file
+                // sh 'make -C src/benchmark csv-data >> bench.csv'
+
+                // //Then publish the file again
+                // sh 'scp bench.csv plg2.cs.uwaterloo.ca:/u/cforall/public_html/perf-history/concurrency.csv'          
 }
 
@@ -164 +180 @@
                                         ]])
 
+                                bIsSandbox = env.BRANCH_NAME == "jenkins-sandbox"
                                 bIsFullBuild = isFullBuild == 'true'
                                 architectureFlag = ''
@@ -183 +200 @@
                                 doc_build()
 
+                                //Run benchmark and save result
+                                benchmark()
+
                                 if( bIsFullBuild ) {
                                         //Compile using gcc-5
@@ -213 +233 @@
 
                 //Send email with final results if this is not a full build
-                if( !bIsFullBuild ) {
+                if( !bIsFullBuild && !bIsSandbox ) {
                         echo 'Notifying users of result'
                         email(currentBuild.result, log_needed)