diff options
Diffstat (limited to 'nuttx/sched/Makefile')
| -rw-r--r-- | nuttx/sched/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/nuttx/sched/Makefile b/nuttx/sched/Makefile index ec9923e1c..40392504c 100644 --- a/nuttx/sched/Makefile +++ b/nuttx/sched/Makefile @@ -139,10 +139,15 @@ ifeq ($(CONFIG_SCHED_WORKQUEUE),y) WORK_SRCS = work_thread.c work_queue.c work_cancel.c endif +ifeq ($(CONFIG_PAGING),y) +PGFILL_SRCS = pg_miss.c +endif + IRQ_SRCS = irq_initialize.c irq_attach.c irq_dispatch.c irq_unexpectedisr.c CSRCS = $(MISC_SRCS) $(TSK_SRCS) $(SCHED_SRCS) $(WDOG_SRCS) $(TIME_SRCS) \ - $(SEM_SRCS) $(TIMER_SRCS) $(WORK_SRCS) $(IRQ_SRCS) + $(SEM_SRCS) $(TIMER_SRCS) $(WORK_SRCS) $(PGFILL_SRCS) $(IRQ_SRCS) + ifneq ($(CONFIG_DISABLE_CLOCK),y) CSRCS += $(CLOCK_SRCS) endif |