Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision a5b7905d626e51a2c959ddc46ed61c06d1e970c7)
+++ Jenkinsfile	(revision c3d048c30e5155e5991e6644478b22f70dd89116)
@@ -291,5 +291,5 @@
 
 		//Append bench results
-		sh 'make -C src/benchmark --no-print-directory jenkins githash=' + gitRefNewValue + ' arch=' + arch_name + ' > bench.json'
+		sh 'make -C src/benchmark --no-print-directory jenkins githash=' + gitRefNewValue + ' arch=' + arch_name + ' | tee bench.json'
 	}
 }