diff -r 7694194761a4 -r a2ea75dd99dc make/Images.gmk --- 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