sched/sched/sched_processtimer.c: Should include board if CONFIG_SYSTEMTICK_HOOK=y.

This commit is contained in:
Gregory Nutt
2019-01-30 08:21:09 -06:00
parent 6408857f6d
commit 8dd17362e3
+4
View File
@@ -46,6 +46,10 @@
# include <nuttx/arch.h>
#endif
#ifdef CONFIG_SYSTEMTICK_HOOK
# include <nuttx/board.h>
#endif
#include "sched/sched.h"
#include "wdog/wdog.h"
#include "clock/clock.h"