common/makefiles/Jprt.gmk
changeset 15058 61c4ac49cbda
parent 15053 64278cb83950
child 15061 9c6c6c6628cf
--- a/common/makefiles/Jprt.gmk	Wed Jan 02 15:36:00 2013 +0100
+++ b/common/makefiles/Jprt.gmk	Thu Jan 03 20:54:38 2013 +0100
@@ -97,6 +97,15 @@
 ifdef ANT_HOME
 	@$(ECHO) " --with-ant-home=$(call UnixPath,$(ANT_HOME)) " >> $@.tmp
 endif
+ifdef ALT_JAVAFX_ZIP_DIR
+	@$(ECHO) " --with-javafx-zip-dir=$(call UnixPath,$(ALT_JAVAFX_ZIP_DIR)) " >> $@.tmp
+endif
+ifdef ALT_WIXDIR
+	@$(ECHO) " --with-wix=$(call UnixPath,$(ALT_WIXDIR)) " >> $@.tmp
+endif
+ifdef ALT_CCSS_SIGNING_DIR
+	@$(ECHO) " --with-ccss-signing=$(call UnixPath,$(ALT_CCSS_SIGNING_DIR)) " >> $@.tmp
+endif
 ifdef ALT_SLASH_JAVA
 	@$(ECHO) " --with-java-devtools=$(call UnixPath,$(ALT_SLASH_JAVA)/devtools) " >> $@.tmp
 endif