changeset 42140 | a2ea75dd99dc |
parent 41875 | 854ef5325653 |
child 42282 | faf3b6722c44 |
--- a/make/Images.gmk Wed Nov 23 19:14:43 2016 +0000 +++ b/make/Images.gmk Thu Nov 24 11:50:26 2016 +0100 @@ -131,7 +131,7 @@ $(JLINK_JLI_CLASSES) \ # -JLINK_JRE_EXTRA_OPTS := --no-man-pages --no-header-files +JLINK_JRE_EXTRA_OPTS := --no-man-pages --no-header-files --strip-debug ifeq ($(JLINK_KEEP_PACKAGED_MODULES), true) JLINK_JDK_EXTRA_OPTS := --keep-packaged-modules $(JDK_IMAGE_DIR)/jmods