Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision dbe9b08cb6411af77959a6bea07d14db2c8e18ed)
+++ Jenkinsfile	(revision 91496f320f03ac3931d8e899dbdfe0652d6c683e)
@@ -174,5 +174,5 @@
 
 def notify_server(int wait) {
-	sh """curl --silent --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
+	sh """curl --data "wait=${wait}" -X POST http://plg2:8082/jenkins/notify > /dev/null || true"""
 	return
 }
@@ -324,5 +324,5 @@
 
 		//Then publish the results
-		sh 'curl -H "Content-Type: application/json" --silent --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
+		sh 'curl -H \'Content-Type: application/json\' --data @bench.json http://plg2:8082/jenkins/publish > /dev/null || true'
 	}
 }
Index: src/benchmark/Makefile.am
===================================================================
--- src/benchmark/Makefile.am	(revision dbe9b08cb6411af77959a6bea07d14db2c8e18ed)
+++ src/benchmark/Makefile.am	(revision 91496f320f03ac3931d8e899dbdfe0652d6c683e)
@@ -59,4 +59,8 @@
 	@echo -e '\t"githash": "'${githash}'",'
 	@echo -e '\t"arch": "'   ${arch}   '",'
+	@echo -e '\t"compile": {'
+	@+make compile TIME_FORMAT='%e,' PRINT_FORMAT='\t\t\"%s\" :'
+	@echo -e '\t\t"dummy" : {}'
+	@echo -e '\t},'
 	@echo -e '\t"ctxswitch": {'
 	@echo -en '\t\t"coroutine":'
Index: src/benchmark/Makefile.in
===================================================================
--- src/benchmark/Makefile.in	(revision dbe9b08cb6411af77959a6bea07d14db2c8e18ed)
+++ src/benchmark/Makefile.in	(revision 91496f320f03ac3931d8e899dbdfe0652d6c683e)
@@ -473,4 +473,8 @@
 	@echo -e '\t"githash": "'${githash}'",'
 	@echo -e '\t"arch": "'   ${arch}   '",'
+	@echo -e '\t"compile": {'
+	@+make compile TIME_FORMAT='%e,' PRINT_FORMAT='\t\t\"%s\" :'
+	@echo -e '\t\t"dummy" : {}'
+	@echo -e '\t},'
 	@echo -e '\t"ctxswitch": {'
 	@echo -en '\t\t"coroutine":'