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