make/Images.gmk
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