From d377b116bad2eab176fe5f5271302823da50c94c Mon Sep 17 00:00:00 2001 From: Yossi Gottlieb Date: Tue, 1 Sep 2020 10:02:14 +0300 Subject: [PATCH] Fix double-make issue with make && make install. (#7734) All user-supplied variables that affect the build should be explicitly persisted. Fixes #7254 --- src/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Makefile b/src/Makefile index 9ea4b654f..9ff344c6a 100644 --- a/src/Makefile +++ b/src/Makefile @@ -255,6 +255,8 @@ persist-settings: distclean echo WARN=$(WARN) >> .make-settings echo OPT=$(OPT) >> .make-settings echo MALLOC=$(MALLOC) >> .make-settings + echo BUILD_TLS=$(BUILD_TLS) >> .make-settings + echo USE_SYSTEMD=$(USE_SYSTEMD) >> .make-settings echo CFLAGS=$(CFLAGS) >> .make-settings echo LDFLAGS=$(LDFLAGS) >> .make-settings echo REDIS_CFLAGS=$(REDIS_CFLAGS) >> .make-settings