Makefile: Add missing header file

[frescor/fosa.git] / Makefile.omk

diff --git a/Makefile.omk b/Makefile.omk
index d01c319c67c9c66f8130742c2dfd51e00062a82c..8b6feef36f39975a4bc6f1e5aca5533f570ec79f 100644 (file)
--- a/Makefile.omk
+++ b/Makefile.omk
@@ -1,7 +1,7 @@
 SUBDIRS=include
 
 ifeq ($(PLATFORM),MARTE_OS)
-  SUBDIRS+=src_marte_os marte_non_local_jump
+  SUBDIRS+=src_marte_os
 endif
 
 ifeq ($(PLATFORM),AQuoSA)