From 315446c2b7eddfe781d137fe8b2e8b27fea9be5f Mon Sep 17 00:00:00 2001 From: Jordan Hubbard Date: Wed, 10 Aug 2016 14:09:24 -0700 Subject: [PATCH] Add a SAVE_DEBUG flag for controlling just the saving of the debug info (but not implying PRODUCTION=yes). --- Makefile.inc1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 7968273..cd6cc89 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -146,7 +146,7 @@ release: @echo "Doing executing target $@ on host: `hostname`" @echo "Build directory: `pwd`" script -a ${RELEASE_LOGFILE} ${MK} build - @if [ "${PRODUCTION}" == "yes" ]; then \ + @if [ "${PRODUCTION}" == "yes" -o "${SAVE_DEBUG}" == "yes" ]; then \ ${BUILD_TOOLS}/save-build-env.py; \ fi script -a ${RELEASE_LOGFILE} ${BUILD_TOOLS}/create-release-distribution.py