diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-06 18:28:51 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-06 18:28:51 -0600 |
commit | afc70c6b454699c55215b44c2eb577b3a8708c55 (patch) | |
tree | dffcd225a37f809ebefc9921c9fd0b1f62dc3193 /nuttx/sched | |
parent | b66e8cbe7e23dc9315b1d0e0cf613a35bb21423d (diff) | |
download | px4-nuttx-afc70c6b454699c55215b44c2eb577b3a8708c55.tar.gz px4-nuttx-afc70c6b454699c55215b44c2eb577b3a8708c55.tar.bz2 px4-nuttx-afc70c6b454699c55215b44c2eb577b3a8708c55.zip |
Don't build in sched_processtimer.c if CONFIG_SCHED_TICKLESS is selected.
Diffstat (limited to 'nuttx/sched')
-rw-r--r-- | nuttx/sched/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/nuttx/sched/Makefile b/nuttx/sched/Makefile index 67da182ab..26c790c84 100644 --- a/nuttx/sched/Makefile +++ b/nuttx/sched/Makefile @@ -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 |