From 15cd7e65941c514e35bb6113d6a70b1933025099 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Sat, 16 May 2015 15:29:28 +0200
Subject: [PATCH] Move report from run.sh to makefile

This allows it to be run separately from a full run.
---
 Makefile | 7 +++++--
 run.sh   | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 8f2378c..90b6797 100644
--- a/Makefile
+++ b/Makefile
@@ -103,11 +103,14 @@ log: $(PROGS) $(SCRIPTS) java/Null.class Makefile
 	  done; \
 	done
 
-.PHONY: log
-
 clean:
 	cd asm && rm -f *.o
 	cd haskell && rm -f *.hi *.o
 	cd ocaml && rm -f *.cmo *.cmi *.cmx *.o
 	cd java && rm -f *.class
 	rm -f $(PROGS)
+
+report:
+	LC_ALL=en_US.UTF-8 awk -f dump.awk log
+
+.PHONY: log clean report
diff --git a/run.sh b/run.sh
index b2733dd..a4bc9de 100755
--- a/run.sh
+++ b/run.sh
@@ -10,4 +10,4 @@ make
 make log REPS=2
 # now do the real run
 $CHRT $TASKSET make log REPS=500
-LC_ALL=en_US.UTF-8 awk -f dump.awk log
+make report
-- 
2.39.5