Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlan McGovern <alan@xamarin.com>2013-07-09 20:52:06 +0400
committerAlan McGovern <alan@xamarin.com>2013-07-09 20:52:06 +0400
commit398ff2ffb111ddb99bf53369d335c2fbd08a186a (patch)
treed159c1168c19a6cb9588e2b2526345fa1bb3597a /Makefile
parent223c1c3b5c23f81c3141efb24ce9d7d040a18964 (diff)
Nuke some unnecessary local copies
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
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