mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-24 17:20:06 +00:00
7159320: change default ZIP_DEBUGINFO_FILES back to '1' after fix for 7133529 is available
Reviewed-by: ohair, jmelvin, sspitsyn
This commit is contained in:
parent
2231891a18
commit
ea4cd6ca39
@ -157,9 +157,7 @@ ifeq ($(ENABLE_FULL_DEBUG_SYMBOLS),1)
|
||||
_JUNK_ := $(shell \
|
||||
echo >&2 "INFO: STRIP_POLICY=$(STRIP_POLICY)")
|
||||
|
||||
# HACK: disable ZIP_DEBUGINFO_FILES by default until install repo
|
||||
# changes are promoted
|
||||
ZIP_DEBUGINFO_FILES ?= 0
|
||||
ZIP_DEBUGINFO_FILES ?= 1
|
||||
|
||||
_JUNK_ := $(shell \
|
||||
echo >&2 "INFO: ZIP_DEBUGINFO_FILES=$(ZIP_DEBUGINFO_FILES)")
|
||||
|
||||
@ -165,9 +165,7 @@ ifeq ($(ENABLE_FULL_DEBUG_SYMBOLS),1)
|
||||
_JUNK_ := $(shell \
|
||||
echo >&2 "INFO: STRIP_POLICY=$(STRIP_POLICY)")
|
||||
|
||||
# HACK: disable ZIP_DEBUGINFO_FILES by default until install repo
|
||||
# changes are promoted
|
||||
ZIP_DEBUGINFO_FILES ?= 0
|
||||
ZIP_DEBUGINFO_FILES ?= 1
|
||||
|
||||
_JUNK_ := $(shell \
|
||||
echo >&2 "INFO: ZIP_DEBUGINFO_FILES=$(ZIP_DEBUGINFO_FILES)")
|
||||
|
||||
@ -113,9 +113,7 @@ _JUNK_ := $(shell \
|
||||
echo >&2 "INFO: ENABLE_FULL_DEBUG_SYMBOLS=$(ENABLE_FULL_DEBUG_SYMBOLS)")
|
||||
|
||||
ifeq ($(ENABLE_FULL_DEBUG_SYMBOLS),1)
|
||||
# HACK: disable ZIP_DEBUGINFO_FILES by default until install repo
|
||||
# changes are promoted
|
||||
ZIP_DEBUGINFO_FILES ?= 0
|
||||
ZIP_DEBUGINFO_FILES ?= 1
|
||||
else
|
||||
ZIP_DEBUGINFO_FILES=0
|
||||
endif
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user