summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 7 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 78a1222..f3331ed 100644
--- a/Makefile
+++ b/Makefile
@@ -10,10 +10,11 @@ all: libs $(TARGET)
clean: clean-generic
$(MAKE) -C FreeRTOS clean
$(MAKE) -C arch clean
+ $(MAKE) -C os clean
-.PHONY: libs FreeRTOS arch
+.PHONY: libs FreeRTOS arch os
-libs: FreeRTOS arch
+libs: FreeRTOS arch os
FreeRTOS:
$(MAKE) -C FreeRTOS
@@ -21,6 +22,10 @@ FreeRTOS:
arch:
$(MAKE) -C arch
+os:
+ $(MAKE) -C os
+
include FreeRTOS/config.mk
include arch/config.mk
+include os/config.mk
include target-rules.mk