diff options
Diffstat (limited to 'win32')
-rw-r--r-- | win32/Makefile.sub | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/win32/Makefile.sub b/win32/Makefile.sub index ebbb6d9078..3739d4c683 100644 --- a/win32/Makefile.sub +++ b/win32/Makefile.sub @@ -14,6 +14,12 @@ PWD = $(MAKEDIR) MFLAGS=-l !endif +!ifndef REVISION_FORCE +!if "$(HAVE_BASERUBY)" == "yes" +REVISION_FORCE = PHONY +!endif +!endif + !ifndef CROSS_COMPILING CROSS_COMPILING = no !endif |