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