Fix double-make issue with make && make install. (#7734)

All user-supplied variables that affect the build should be explicitly
persisted.

Fixes #7254
This commit is contained in:
Yossi Gottlieb 2020-09-01 10:02:14 +03:00 committed by GitHub
parent 374270d3a0
commit d377b116ba

View File

@ -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