Changes in Jenkinsfile [f51ef6f:f97b614]

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'          
 }
 
@@ -180 +164 @@
                                         ]])
 
-                                bIsSandbox = env.BRANCH_NAME == "jenkins-sandbox"
                                 bIsFullBuild = isFullBuild == 'true'
                                 architectureFlag = ''
@@ -200 +183 @@
                                 doc_build()
 
-                                //Run benchmark and save result
-                                benchmark()
-
                                 if( bIsFullBuild ) {
                                         //Compile using gcc-5
@@ -233 +213 @@
 
                 //Send email with final results if this is not a full build
-                if( !bIsFullBuild && !bIsSandbox ) {
+                if( !bIsFullBuild ) {
                         echo 'Notifying users of result'
                         email(currentBuild.result, log_needed)