Index: src/benchmark/Makefile.am
===================================================================
--- src/benchmark/Makefile.am	(revision 91496f320f03ac3931d8e899dbdfe0652d6c683e)
+++ src/benchmark/Makefile.am	(revision d0a045c72e9bfbc1df194dd08347aa79e1d7d574)
@@ -23,4 +23,5 @@
 STATS    = ${TOOLSDIR}stat.py
 repeats  = 30
+skipcompile = no
 TIME_FORMAT = "%E"
 PRINT_FORMAT = %20s: #Comments needed for spacing
@@ -43,5 +44,5 @@
 %.runquiet :
 	@+make $(basename $@)
-	@./a.out
+	@taskset -c 1 ./a.out
 	@rm -f a.out
 
@@ -59,8 +60,10 @@
 	@echo -e '\t"githash": "'${githash}'",'
 	@echo -e '\t"arch": "'   ${arch}   '",'
+@DOifskipcompile@
 	@echo -e '\t"compile": {'
 	@+make compile TIME_FORMAT='%e,' PRINT_FORMAT='\t\t\"%s\" :'
 	@echo -e '\t\t"dummy" : {}'
 	@echo -e '\t},'
+@DOendif@
 	@echo -e '\t"ctxswitch": {'
 	@echo -en '\t\t"coroutine":'
Index: src/benchmark/Makefile.in
===================================================================
--- src/benchmark/Makefile.in	(revision 91496f320f03ac3931d8e899dbdfe0652d6c683e)
+++ src/benchmark/Makefile.in	(revision d0a045c72e9bfbc1df194dd08347aa79e1d7d574)
@@ -253,4 +253,5 @@
 STATS = ${TOOLSDIR}stat.py
 repeats = 30
+skipcompile = no
 TIME_FORMAT = "%E"
 PRINT_FORMAT = %20s: #Comments needed for spacing
@@ -459,5 +460,5 @@
 %.runquiet :
 	@+make $(basename $@)
-	@./a.out
+	@taskset -c 1 ./a.out
 	@rm -f a.out
 
@@ -473,8 +474,10 @@
 	@echo -e '\t"githash": "'${githash}'",'
 	@echo -e '\t"arch": "'   ${arch}   '",'
+@DOifskipcompile@
 	@echo -e '\t"compile": {'
 	@+make compile TIME_FORMAT='%e,' PRINT_FORMAT='\t\t\"%s\" :'
 	@echo -e '\t\t"dummy" : {}'
 	@echo -e '\t},'
+@DOendif@
 	@echo -e '\t"ctxswitch": {'
 	@echo -en '\t\t"coroutine":'