diff options
author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-01-24 08:54:54 +0100 |
---|---|---|
committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-01-24 08:57:27 +0100 |
commit | e46ea682c1aa214ccb59c9871914993c9375e5c2 (patch) | |
tree | 6cb321024598fcc2a6cb9b3968834d7655bb26b1 /FreeRTOS/config.mk | |
parent | 6a6e8752bdf9b7c11921c502f2433b8fdbf0c525 (diff) |
Fixing a few templates, and making the various needed functions available.
Diffstat (limited to 'FreeRTOS/config.mk')
-rw-r--r-- | FreeRTOS/config.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/FreeRTOS/config.mk b/FreeRTOS/config.mk index 188050d..d45722a 100644 --- a/FreeRTOS/config.mk +++ b/FreeRTOS/config.mk @@ -1,4 +1,4 @@ -TARGET_INCLUDES = $(ROOTDIR)/FreeRTOS/Source/include +TARGET_INCLUDES += $(ROOTDIR)/FreeRTOS/Source/include ifeq ($(USE_MPU),true) TARGET_CPPFLAGS += -DportUSING_MPU_WRAPPERS=1 |