From ec68b60204051ebb0e11bafd8dfbc56551fdd9b9 Mon Sep 17 00:00:00 2001 From: Joel Dice <git@seibutsu.mailsnare.net> Date: Mon, 20 Aug 2007 20:30:56 -0600 Subject: [PATCH] add profile-jscheme target to makefile --- makefile | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/makefile b/makefile index ff0ad44095..f4b84a877e 100644 --- a/makefile +++ b/makefile @@ -173,6 +173,14 @@ debug-jscheme: $(executable) $(input) vg-jscheme: $(executable) $(input) LD_LIBRARY_PATH=$(bld) $(vg) $(<) -cp $(cls):$(jscheme) $(jscheme-command) +.PHONY: profile-jscheme +profile-jscheme: $(executable) $(input) + opcontrol --start; \ + echo '(+ 5 6)' | LD_LIBRARY_PATH=$(bld) \ + $(<) -cp $(cls):$(jscheme) jscheme/REPL; \ + opcontrol --stop; \ + opreport -l $(<) + .PHONY: clean clean: @echo "removing build"