From 398ff2ffb111ddb99bf53369d335c2fbd08a186a Mon Sep 17 00:00:00 2001 From: Alan McGovern Date: Tue, 9 Jul 2013 12:52:06 -0400 Subject: Nuke some unnecessary local copies --- Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 095b6a9d8f..e307741653 100644 --- a/Makefile +++ b/Makefile @@ -90,6 +90,9 @@ aot: run: cd main && $(MAKE) run +run-boehm: + cd main && $(MAKE) run-boehm + run-sgen: cd main && $(MAKE) run-sgen -- cgit v1.2.3