diff make/bsd/makefiles/defs.make @ 14518:d8041d695d19

Merged with jdk9/dev/hotspot changeset 3812c088b945
author twisti
date Tue, 11 Mar 2014 18:45:59 -0700
parents f509b8f4699b
children 4ca6dc0799b6
line wrap: on
line diff
--- a/make/bsd/makefiles/defs.make	Wed Mar 12 00:00:05 2014 +0100
+++ b/make/bsd/makefiles/defs.make	Tue Mar 11 18:45:59 2014 -0700
@@ -185,7 +185,7 @@
       ENABLE_FULL_DEBUG_SYMBOLS = $(FULL_DEBUG_SYMBOLS)
     else
       # debug variants always get Full Debug Symbols (if available)
-      ENABLE_FULL_DEBUG_SYMBOLS = 1
+      ENABLE_FULL_DEBUG_SYMBOLS ?= 1
     endif
     _JUNK_ := $(shell \
       echo >&2 "INFO: ENABLE_FULL_DEBUG_SYMBOLS=$(ENABLE_FULL_DEBUG_SYMBOLS)")