diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/pascal/nuttx/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/misc/pascal/nuttx/Makefile b/misc/pascal/nuttx/Makefile index 96a6d5b50..1e6691f00 100644 --- a/misc/pascal/nuttx/Makefile +++ b/misc/pascal/nuttx/Makefile @@ -35,8 +35,7 @@ -include $(TOPDIR)/Make.defs -MKDEP = $(TOPDIR)/tools/mkdeps.sh -CFLAGS += -Iinclude -Iinsn/include +CFLAGS += -Iinclude -Iinsn/include include insn/prun/Make.defs include libpoff/Make.defs |