Makefile: Add missing header file

[frescor/fosa.git] / config_example.mk

diff --git a/config_example.mk b/config_example.mk
index 22f05ae32403b37525caeac81ec618448ca54e14..7619b1a0deca31cee9db9f1fdc10df3a46fd2284 100644 (file)
--- a/config_example.mk
+++ b/config_example.mk
@@ -3,12 +3,10 @@ PLATFORM = MARTE_OS
 
 FRESCOR_ROOT = $(HOME)/frescor_dev
 
-# the path to the FRSH directory.
-FRSH_PATH = $(FRESCOR_ROOT)/frsh
 # the path to the FOSA directory.
 FOSA_PATH = $(FRESCOR_ROOT)/fosa
 
+
 # the compilation flags
-CFLAGS = -Wall -g -D$(PLATFORM) -I$(FRSH_PATH)/include \
-       -I$(FOSA_PATH)/include \
-       -I$(FOSA_PATH)/marte_non_local_jump
+CFLAGS = -Wall -g 
+CFLAGS += -O1  -Wuninitialized