diff options
Diffstat (limited to 'bl31')
-rw-r--r-- | bl31/bl31.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bl31/bl31.mk b/bl31/bl31.mk index e6609fe86..4d2fc874d 100644 --- a/bl31/bl31.mk +++ b/bl31/bl31.mk @@ -112,7 +112,7 @@ ifeq (${ENABLE_MPAM_FOR_LOWER_ELS},1) BL31_SOURCES += lib/extensions/mpam/mpam.c endif -ifeq (${ENABLE_TRBE_FOR_NS},1) +ifneq (${ENABLE_TRBE_FOR_NS},0) BL31_SOURCES += lib/extensions/trbe/trbe.c endif |