Skip to content

Commit 333d4e7

Browse files
committed
fixup! Makefile: WORKER_FEATURES should not overwrite user supplied value
1 parent 0af9699 commit 333d4e7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,12 +77,12 @@ ifeq ($(SGX_PRODUCTION), 1)
7777
SGX_ENCLAVE_MODE = "Production Mode"
7878
SGX_ENCLAVE_CONFIG = "enclave-runtime/Enclave.config.production.xml"
7979
SGX_SIGN_KEY = $(SGX_COMMERCIAL_KEY)
80-
WORKER_FEATURES += --features=production,$(WORKER_MODE),$(ADDITIONAL_FEATURES)
80+
WORKER_FEATURES := --features=production,$(WORKER_MODE),$(WORKER_FEATURES),$(ADDITIONAL_FEATURES)
8181
else
8282
SGX_ENCLAVE_MODE = "Development Mode"
8383
SGX_ENCLAVE_CONFIG = "enclave-runtime/Enclave.config.xml"
8484
SGX_SIGN_KEY = "enclave-runtime/Enclave_private.pem"
85-
WORKER_FEATURES += --features=default,$(WORKER_MODE),$(ADDITIONAL_FEATURES)
85+
WORKER_FEATURES := --features=default,$(WORKER_MODE),$(WORKER_FEATURES),$(ADDITIONAL_FEATURES)
8686
endif
8787

8888
CLIENT_FEATURES = --features=$(WORKER_MODE),$(ADDITIONAL_FEATURES)

0 commit comments

Comments
 (0)