common/makefiles/Jprt.gmk

changeset 721
78852ce176db
parent 673
2ef28c12d649
child 731
27c51c6e31c1
     1.1 --- a/common/makefiles/Jprt.gmk	Thu May 16 12:13:52 2013 -0700
     1.2 +++ b/common/makefiles/Jprt.gmk	Tue May 28 20:03:21 2013 +0200
     1.3 @@ -127,6 +127,9 @@
     1.4    ifdef ALT_JAVAFX_ZIP_DIR
     1.5  	@$(ECHO) " --with-javafx-zip-dir=$(call UnixPath,$(ALT_JAVAFX_ZIP_DIR)) " >> $@.tmp
     1.6    endif
     1.7 +  ifdef ALT_JMC_ZIP_DIR
     1.8 +	@$(ECHO) " --with-jmc-zip-dir=$(call UnixPath,$(ALT_JMC_ZIP_DIR)) " >> $@.tmp
     1.9 +  endif
    1.10    ifdef ALT_WIXDIR
    1.11  	@$(ECHO) " --with-wix=$(call UnixPath,$(ALT_WIXDIR)) " >> $@.tmp
    1.12    endif

mercurial