diff options
-rw-r--r-- | Makefile | 3 | ||||
-rw-r--r-- | main/Makefile.am | 5 |
2 files changed, 8 insertions, 0 deletions
@@ -78,6 +78,9 @@ dist: update_submodules remove-stale-tarballs dist-recursive run: cd main && $(MAKE) run +run-sgen: + cd main && $(MAKE) run-sgen + run-gdb: cd main && $(MAKE) run-gdb diff --git a/main/Makefile.am b/main/Makefile.am index 7f40f89a45..724bfa2223 100644 --- a/main/Makefile.am +++ b/main/Makefile.am @@ -114,9 +114,14 @@ MD_LAUNCH=$(MD_LAUNCH_SETUP) UBUNTU_MENUPROXY=0 exec -a "monodevelop" $(RUNTIME) run: runmd +run-sgen: runmd-sgen + runmd: $(PROGRAM) $(MD_LAUNCH) --debug $(MD_BIN_PATH)/MonoDevelop.exe --no-redirect +runmd-sgen: $(PROGRAM) + $(MD_LAUNCH) --gc=sgen --debug $(MD_BIN_PATH)/MonoDevelop.exe --no-redirect + run-debug: $(PROGRAM) MONODEVELOP_CONSOLE_LOG_LEVEL=All $(MD_LAUNCH) --debug=casts $(MD_BIN_PATH)/MonoDevelop.exe --no-redirect |