Index: benchmark/Makefile.am
===================================================================
--- benchmark/Makefile.am	(revision f15fe0a1f735a1835eace55776b7074833013644)
+++ benchmark/Makefile.am	(revision a2a00654e4dc7c508dcc7f8f2fc2ea521e1de0ef)
@@ -104,4 +104,10 @@
 	@+make mutex.csv
 	@+make signal.csv
+@DOifskipcompile@
+	@cat compile.csv
+@DOendif@
+	@cat ctxswitch.csv
+	@cat mutex.csv
+	@cat signal.csv
 
 compile.csv:
Index: benchmark/Makefile.in
===================================================================
--- benchmark/Makefile.in	(revision f15fe0a1f735a1835eace55776b7074833013644)
+++ benchmark/Makefile.in	(revision a2a00654e4dc7c508dcc7f8f2fc2ea521e1de0ef)
@@ -764,4 +764,10 @@
 	@+make mutex.csv
 	@+make signal.csv
+@DOifskipcompile@
+	@cat compile.csv
+@DOendif@
+	@cat ctxswitch.csv
+	@cat mutex.csv
+	@cat signal.csv
 
 compile.csv: