diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index 9a9e2b4724..f046d0bfcd 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -302,6 +302,9 @@ CPPFLAGS = $(DEFS) $(ARCHDEFS) $(CPPFLAGS) !if "$(USE_RUBYGEMS)" == "no" CPPFLAGS = -DDISABLE_RUBYGEMS $(CPPFLAGS) !endif +!ifndef INSTALL_MJIT_HEADER +INSTALL_MJIT_HEADER = yes +!endif !if "$(CPPOUTFLAG)" == ">" MJIT_HEADER_FLAGS = !else @@ -1271,8 +1274,8 @@ probes.h: {$(VPATH)}probes.dmyh #include "$(*F).dmyh" <<KEEP -main: $(MJIT_PRECOMPILED_HEADER) -mjit-headers: $(MJIT_PRECOMPILED_HEADER) +main: mjit-headers +yes-mjit-headers: $(MJIT_PRECOMPILED_HEADER) clean-local:: $(Q)$(RM) $(MJIT_PRECOMPILED_HEADER_NAME) $(MJIT_PRECOMPILED_HEADER_NAME:.pch=.)$(OBJEXT) $(Q)$(RM) $(TIMESTAMPDIR)/$(MJIT_PRECOMPILED_HEADER_NAME:.pch=.time) mjit_config.h |