Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision efd60d6740fa36f3e171b9a69fe629b06224d1df)
+++ Jenkinsfile	(revision 97f65d5c634e6bc9c5682e558000e5473fa122cb)
@@ -87,5 +87,5 @@
 		status_prefix = 'Documentation'
 
-		sh 'make -C src/benchmark csv-data >> ~cforall/public_html/perf-history/concurrency.csv'
+		// sh 'make -C src/benchmark csv-data >> /u/cforall/public_html/perf-history/concurrency.csv'
 }