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