make/Images.gmk
changeset 44309 b8d71b012f72
parent 44070 f332289b6df7
child 44724 8efb5c82a573
--- a/make/Images.gmk	Thu Mar 16 16:34:33 2017 +0000
+++ b/make/Images.gmk	Wed Mar 22 16:25:58 2017 +0000
@@ -119,6 +119,7 @@
     --module-path $(IMAGES_OUTPUTDIR)/jmods \
     --endian $(OPENJDK_BUILD_CPU_ENDIAN) \
     --release-info $(BASE_RELEASE_FILE) \
+    --release-info add:OS_VERSION=\"$(REQUIRED_OS_VERSION)\" \
     --order-resources=$(call CommaList, $(JLINK_ORDER_RESOURCES)) \
     --dedup-legal-notices=error-if-not-same-content \
     $(JLINK_JLI_CLASSES) \