hotspot/make/lib/JvmFeatures.gmk
changeset 41674 8ff2f216109b
parent 38097 1ca3d6f508b1
child 42650 1f304d0c888b
--- a/hotspot/make/lib/JvmFeatures.gmk	Fri Apr 29 15:23:15 2016 +0200
+++ b/hotspot/make/lib/JvmFeatures.gmk	Wed Oct 05 11:05:18 2016 +0200
@@ -59,6 +59,10 @@
 
 ifeq ($(call check-jvm-feature, minimal), true)
   JVM_CFLAGS_FEATURES += -DMINIMAL_JVM -DVMTYPE=\"Minimal\"
+  ifeq ($(OPENJDK_TARGET_OS), linux)
+    # Override the default -g with a more liberal strip policy for the minimal JVM
+    JVM_STRIPFLAGS := --strip-unneeded
+  endif
 endif
 
 ifeq ($(call check-jvm-feature, dtrace), true)