# HG changeset patch
# User erikj
# Date 1396536150 -7200
# Node ID aec13f9340a9c14c147c7f8884068d69fc9221cf
# Parent  b7750b6ee1578fd5b2b1f6758f905b332503d8ed
8039077: JPRT build configure not setting --with-update-version
Reviewed-by: tbell

diff -r b7750b6ee157 -r aec13f9340a9 make/Jprt.gmk
--- a/make/Jprt.gmk	Tue Apr 01 11:07:19 2014 -0700
+++ b/make/Jprt.gmk	Thu Apr 03 16:42:30 2014 +0200
@@ -106,6 +106,9 @@
         ifdef ENABLE_SJAVAC
 	  @$(ECHO) " --enable-sjavac" >> $@.tmp
         endif
+        ifdef JDK_UPDATE_VERSION
+	  @$(ECHO) " --with-update-version=$(JDK_UPDATE_VERSION)" >> $@.tmp
+        endif
         ifeq ($(HOTSPOT_AVAILABLE),false)
           ifdef ALT_JDK_IMPORT_PATH
 	    @$(ECHO) " --with-import-hotspot=$(call UnixPath,$(ALT_JDK_IMPORT_PATH)) " >> $@.tmp