diff --git a/sched/sched/sched_timerexpiration.c b/sched/sched/sched_timerexpiration.c index 4ce08f1bac..d2fe61597d 100644 --- a/sched/sched/sched_timerexpiration.c +++ b/sched/sched/sched_timerexpiration.c @@ -373,9 +373,6 @@ static inline unsigned int nxsched_process_wdtimer(uint32_t ticks, static unsigned int nxsched_timer_process(unsigned int ticks, bool noswitches) { -#if CONFIG_RR_INTERVAL > 0 || defined(CONFIG_SCHED_SPORADIC) - unsigned int cmptime = UINT_MAX; -#endif unsigned int rettime = 0; unsigned int tmp; @@ -403,9 +400,6 @@ static unsigned int nxsched_timer_process(unsigned int ticks, tmp = nxsched_process_wdtimer(ticks, noswitches); if (tmp > 0) { -#if CONFIG_RR_INTERVAL > 0 || defined(CONFIG_SCHED_SPORADIC) - cmptime = tmp; -#endif rettime = tmp; } @@ -416,7 +410,7 @@ static unsigned int nxsched_timer_process(unsigned int ticks, tmp = nxsched_process_scheduler(ticks, noswitches); #if CONFIG_RR_INTERVAL > 0 || defined(CONFIG_SCHED_SPORADIC) - if (tmp > 0 && tmp < cmptime) + if (tmp > 0 && tmp < rettime) { rettime = tmp; }