Index: benchmark/Makefile.am
===================================================================
--- benchmark/Makefile.am	(revision d4510ea5e69f9fb30e5931911bbe2411565afb42)
+++ benchmark/Makefile.am	(revision d9f2874a0c3686dccecc2a1f5b068411be530070)
@@ -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 d4510ea5e69f9fb30e5931911bbe2411565afb42)
+++ benchmark/Makefile.in	(revision d9f2874a0c3686dccecc2a1f5b068411be530070)
@@ -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: