Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 986e260a74f77ffdc9d5a0fceaa7788d6664fba4)
+++ Jenkinsfile	(revision 734014e0b16bc6572af035bc275c89678456cfcf)
@@ -170,5 +170,5 @@
 	build_stage('Publish') {
 
-		if( !Settings.RunBenchmark ) { echo 'No results to publish!!!' }
+		if( Settings.Publish && !Settings.RunBenchmark ) { echo 'No results to publish!!!' }
 
 		def groupCompile = new PlotGroup('Compilation', 'seconds', true)
@@ -433,7 +433,11 @@
 }
 
-def do_plot(boolean silent, String file, PlotGroup group, String title) {
-
-	def series = silent ? [] : [[
+def do_plot(boolean new_data, String file, PlotGroup group, String title) {
+
+	if(new_data) {
+		echo "Publishing new data"
+	}
+
+	def series = new_data ? [] : [[
 				file: "${file}.csv",
 				exclusionValues: '',