Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ce2e547b097250d5fb78d8fac47954bf333c3f31)
+++ Jenkinsfile	(revision f95e8f0f6a12f260e4f5bb935eef9754ca7b38b9)
@@ -315,10 +315,10 @@
 		}
 
+		this.IsSandbox          = (branch == "jenkins-sandbox")
 		this.RunAllTests        = param.RunAllTests
-		this.RunBenchmark       = param.RunBenchmark
+		this.RunBenchmark       = param.RunBenchmark || this.IsSandbox
 		this.BuildDocumentation = param.BuildDocumentation
-		this.Publish            = param.Publish
+		this.Publish            = param.Publish || this.IsSandbox
 		this.Silent             = param.Silent
-		this.IsSandbox          = (branch == "jenkins-sandbox")
 
 		def full = param.RunAllTests ? " (Full)" : ""
@@ -418,4 +418,6 @@
 
 def do_plot(String file, String group, String title) {
+	echo "file is ${BuildDir}/benchmark/${file}.csv, group ${group}, title ${title}"
+	fileExists "${BuildDir}/benchmark/${file}.csv"
 	plot csvFileName: "cforall-${env.BRANCH_NAME}-${file}.csv",
 		csvSeries: [[