--- a/make/jprt.config Wed Jul 05 16:39:28 2017 +0200
+++ b/make/jprt.config Wed Aug 06 14:57:13 2008 -0700
@@ -115,13 +115,13 @@
dirMustExist "${ANT_HOME}" ANT_HOME
dirMustExist "${FINDBUGS_HOME}" FINDBUGS_HOME
-# If ALT_PREVIOUS_JDK_IMAGE not defined, set it to the bootdir area for
+# If ALT_PREVIOUS_RELEASE_IMAGE not defined, set it to the bootdir area for
# any possible image comparisons.
# We assume bootdir is a previous jdk release image, valid for comparison
# reasons.
-if [ "${ALT_PREVIOUS_JDK_IMAGE}" = "" ] ; then
- ALT_PREVIOUS_JDK_IMAGE="${bootdir}"
- export ALT_PREVIOUS_JDK_IMAGE
+if [ "${ALT_PREVIOUS_RELEASE_IMAGE}" = "" ] ; then
+ ALT_PREVIOUS_RELEASE_IMAGE="${bootdir}"
+ export ALT_PREVIOUS_RELEASE_IMAGE
fi
# Use the JDK import for now (FIXME: use the binary plugs?)