Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision a5b7905d626e51a2c959ddc46ed61c06d1e970c7)
+++ Jenkinsfile	(revision 62194cbf579b5084c2ebfafd9003eb7b9cb0fa7b)
@@ -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'
 	}
 }