Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 366cf9b1e5ffaa2e3009bacadfeb0e66a8656c85)
+++ 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'
 	}
 }