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