commit 9b5e77e2e3fa3555c385c1b170a8dd99455253c9
author Christoph M. Wintersteiger <cwinter@microsoft.com> Fri Feb 15 13:38:18 2019 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:37:46 2019 +0100
tree a7b491117a30c8ce3c1b57ed9c97b529046a452a
parent 2d4725f204cdc61eed48da5b22b10afd0fc56af4

3rdparty: Use LOCAL_FLAGS instead of CFLAGS

3rdparty/everest/Makefile.inc

diff --git a/3rdparty/everest/Makefile.inc b/3rdparty/everest/Makefile.inc
index 7aaa374..5387e18 100644
--- a/3rdparty/everest/Makefile.inc
+++ b/3rdparty/everest/Makefile.inc
@@ -11,7 +11,7 @@
 ifeq ($(shell getconf LONG_BIT),64)
 THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/Hacl_Curve25519.o
 else
-CFLAGS+="-DKRML_VERIFIED_UINT128"
+LOCAL_CFLAGS+="-DKRML_VERIFIED_UINT128"
 THIRDPARTY_CRYPTO_OBJECTS+=../3rdparty/everest/library/legacy/Hacl_Curve25519.o \
 	../3rdparty/everest/library/kremlib/FStar_UInt128_extracted.o
 endif