jaxws/make/Makefile
changeset 4138 6f57118cd450
parent 4137 a06d987928b2
child 4298 05940e71b36b
--- a/jaxws/make/Makefile	Fri Oct 23 11:06:56 2009 -0700
+++ b/jaxws/make/Makefile	Thu Nov 05 00:02:38 2009 +0000
@@ -86,15 +86,22 @@
   endif
 endif
 
-# Where is /java/devtools in case we need it
-ifdef ALT_JDK_DEVTOOLS_DIR
-  _DEVTOOLS = $(ALT_JDK_DEVTOOLS_DIR)
+# Do we have the drops already downloaded?
+# Check ALT_DROPS_DIR for a full path first,
+# before trying to use the devtools path,
+# either via ALT_JDK_DEVTOOLS_DIR or /java/devtools.
+ifdef ALT_DROPS_DIR
+  DROPS_DIR = $(ALT_DROPS_DIR)
 else
-  _DEVTOOLS = $(_SLASHJAVA)/devtools
+  ifdef ALT_JDK_DEVTOOLS_DIR
+    DROPS_DIR = $(ALT_JDK_DEVTOOLS_DIR)/share/jdk7-drops
+  else
+    DROPS_DIR = $(_SLASHJAVA)/devtools/share/jdk7-drops
+  endif
 endif
 
-# Add in path to devtools
-ANT_OPTIONS += -Ddevtools=$(_DEVTOOLS)
+# Add in path to drops already downloaded
+ANT_OPTIONS += -Ddrops.dir=$(DROPS_DIR)
 
 ifdef ALT_OUTPUTDIR
   OUTPUTDIR = $(ALT_OUTPUTDIR)