make/Jprt.gmk
changeset 34470 a62fa89499d0
parent 34102 c0a98357f847
child 36506 17612cee3530
--- a/make/Jprt.gmk	Mon Dec 07 14:19:26 2015 -0800
+++ b/make/Jprt.gmk	Wed Jul 05 21:06:24 2017 +0200
@@ -49,7 +49,7 @@
 # When running in JPRT these will be provided. Need defaults so that this makefile
 # is valid anyway.
 ifndef JPRT_ARCHIVE_BUNDLE
-  JPRT_ARCHIVE_BUNDLE=/tmp/jprt_bundles/j2sdk-image.zip
+  JPRT_ARCHIVE_BUNDLE=/tmp/jprt_bundles/jdk-image.zip
 endif
 ifndef JPRT_ARCHIVE_INSTALL_BUNDLE
   JPRT_ARCHIVE_INSTALL_BUNDLE=/tmp/jprt_bundles/product-install.zip