From 0b86f2ae17e49921bdbc57d13cfb4d3b74e72c82 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iusty@k1024.org>
Date: Sun, 12 Feb 2012 10:27:16 +0100
Subject: [PATCH] Make output in perf runs a bit nicer

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index de21874..4b97ccb 100644
--- a/Makefile
+++ b/Makefile
@@ -64,9 +64,9 @@ ocaml/null-opt: ocaml/null.ml
 	strip $@
 
 log: $(PROGS) $(SCRIPTS) Makefile
-	set -x; \
 	rm -f log; \
 	for prog in $(PROGS) $(SCRIPTS); do \
+	  echo $$prog; \
 	  for metric in $(METRICS); do \
 	    LC_ALL=C perf stat -e "$$metric" -r100 -o log --append ./$$prog; \
 	  done; \
-- 
2.39.5