diff options
Diffstat (limited to 'nuttx/sched/sched_processtimer.c')
| -rw-r--r-- | nuttx/sched/sched_processtimer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nuttx/sched/sched_processtimer.c b/nuttx/sched/sched_processtimer.c index de066eb46..bb56dbacb 100644 --- a/nuttx/sched/sched_processtimer.c +++ b/nuttx/sched/sched_processtimer.c @@ -161,14 +161,18 @@ void sched_process_timer(void) { /* Increment the system time (if in the link) */ +#ifdef CONFIG_HAVE_WEAKFUNCTIONS if (clock_timer != NULL) +#endif { clock_timer(); } /* Process watchdogs (if in the link) */ +#ifdef CONFIG_HAVE_WEAKFUNCTIONS if (wd_timer != NULL) +#endif { wd_timer(); } |