From 15cd7e65941c514e35bb6113d6a70b1933025099 Mon Sep 17 00:00:00 2001 From: Iustin Pop 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