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