Index: benchmark/Makefile.am
===================================================================
--- benchmark/Makefile.am	(revision 6f27b67a719e74749e741dff66a2ebf02c5498d9)
+++ benchmark/Makefile.am	(revision b2525d9164b69ada17751c1b3983c0b6d44247cb)
@@ -74,5 +74,4 @@
 	echo "int main() { return 0; }" > ${@}
 
-.SILENT:		# do not print recipe
 .NOTPARALLEL:
 .PHONY: jenkins cleancsv
@@ -116,14 +115,14 @@
 
 %.run : %$(EXEEXT) ${REPEAT}
-	rm -f .result.log
-	echo "------------------------------------------------------"
-	echo $<
-	${REPEAT} ${repeats} -- ./a.out\
+	@rm -f .result.log
+	@echo "------------------------------------------------------"
+	@echo $<
+	@${REPEAT} ${repeats} -- ./a.out\
 		$(if ${$(subst -,_,$(basename $@))_DURATION},\
 			${$(subst -,_,$(basename $@))_DURATION},\
 			${$(firstword $(subst -, ,$(basename $@)))_DURATION}) | tee -a .result.log
-	${STATS} .result.log
-	echo "------------------------------------------------------"
-	rm -f a.out .result.log *.class
+	@${STATS} .result.log
+	@echo "------------------------------------------------------"
+	@rm -f a.out .result.log *.class
 
 #	${REPEAT} ${repeats} -- /usr/bin/time -f "%Uu %Ss %Er %Mkb" ./a.out
@@ -150,13 +149,13 @@
 jenkins$(EXEEXT): cleancsv
 @DOifskipcompile@
-	+make compile.csv
-	-+make compile.diff.csv
+	@+make --silent compile.csv
+	@-+make --silent compile.diff.csv
 @DOendif@
-	+make ctxswitch.csv
-	-+make ctxswitch.diff.csv
-	+make mutex.csv
-	-+make mutex.diff.csv
-	+make schedint.csv
-	-+make schedint.diff.csv
+	@+make --silent ctxswitch.csv
+	@-+make --silent ctxswitch.diff.csv
+	@+make --silent mutex.csv
+	@-+make --silent mutex.diff.csv
+	@+make --silent schedint.csv
+	@-+make --silent schedint.diff.csv
 @DOifskipcompile@
 	cat compile.csv