Don't build in sched_processtimer.c if CONFIG_SCHED_TICKLESS is selected.

This commit is contained in:
Gregory Nutt 2014-08-06 18:28:51 -06:00
parent c8a60b2916
commit a1ae9d36df

View File

@ -119,7 +119,9 @@ ENV_SRCS += env_clearenv.c env_getenv.c env_putenv.c env_setenv.c env_unsetenv.c
WDOG_SRCS = wd_initialize.c wd_create.c wd_start.c wd_cancel.c wd_delete.c
WDOG_SRCS += wd_gettime.c
TIME_SRCS = sched_processtimer.c
ifneq ($(CONFIG_SCHED_TICKLESS),y)
TIME_SRCS += sched_processtimer.c
endif
ifneq ($(CONFIG_DISABLE_SIGNALS),y)
TIME_SRCS += nanosleep.c