Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8c700c188c0fead37424213b3c47a855c932d49d)
+++ Jenkinsfile	(revision a5b7905d626e51a2c959ddc46ed61c06d1e970c7)
@@ -15,5 +15,5 @@
 	arch_name 		= ''
 	architecture 	= ''
-	
+
 	do_alltests		= false
 	do_benchmark	= false
@@ -183,5 +183,5 @@
 		sh 'make clean > /dev/null'
 		sh 'make > /dev/null 2>&1'
-	} 
+	}
 	catch (Exception caughtError) {
 		err = caughtError //rethrow error later
@@ -257,7 +257,7 @@
 def build() {
 	build_stage('Build') {
-	
+
 		def install_dir = pwd tmp: true
-		
+
 		//Configure the conpilation (Output is not relevant)
 		//Use the current directory as the installation target so nothing
@@ -290,9 +290,6 @@
 		if( !do_benchmark ) return
 
-		//Write the commit id to Benchmark
-		writeFile  file: 'bench.csv', text:'data=' + gitRefNewValue + ',' + arch_name + ','
- 
 		//Append bench results
-		sh 'make -C src/benchmark --no-print-directory csv-data >> bench.csv'
+		sh 'make -C src/benchmark --no-print-directory jenkins githash=' + gitRefNewValue + ' arch=' + arch_name + ' > bench.json'
 	}
 }
@@ -327,5 +324,5 @@
 
 		//Then publish the results
-		sh 'curl --silent --data @bench.csv http://plg2:8082/jenkins/publish > /dev/null || true'
+		sh 'curl -H "Content-Type: application/json" --silent --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
 	}
 }