diff --git a/Makefile.include b/Makefile.include index 47e513e1f..339a1739b 100644 --- a/Makefile.include +++ b/Makefile.include @@ -182,7 +182,7 @@ SOURCEDIRS = . $(PROJECTDIRS) $(CONTIKI_TARGET_DIRS_CONCAT) \ vpath %.c $(SOURCEDIRS) vpath %.S $(SOURCEDIRS) -CFLAGS += ${addprefix -I,$(SOURCEDIRS)} +CFLAGS += ${addprefix -I,$(SOURCEDIRS) $(CONTIKI)} ### Check for a git repo and pass version if found ### git.exe in Windows cmd shells may require no stderr redirection