aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--common.mk3
1 files changed, 3 insertions, 0 deletions
diff --git a/common.mk b/common.mk
index bb07f6b163..1738e22b6b 100644
--- a/common.mk
+++ b/common.mk
@@ -192,6 +192,9 @@ all: $(SHOWFLAGS) main docs
main: $(SHOWFLAGS) exts $(ENCSTATIC:static=lib)encs $(MJIT_MIN_HEADER)
@$(NULLCMD)
+.PHONY: mjit-headers
+mjit-headers: $(MJIT_MIN_HEADER)
+
rb_mjit_header.h: PHONY probes.h
$(ECHO) building $@
$(Q) $(CPP) $(MJIT_HEADER_FLAGS) $(CFLAGS_NO_ARCH) $(XCFLAGS) $(CPPFLAGS) -DMJIT_HEADER $(srcdir)/vm.c $(COUTFLAG)$@.new