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