1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:12:57 +01:00

core: sched: mark sched_run() as used

This commit is contained in:
Kaspar Schleiser 2016-08-10 16:04:30 +02:00
parent 1f9a87972b
commit 25a6ef5273

View File

@ -58,7 +58,7 @@ static void (*sched_cb) (uint32_t timestamp, uint32_t value) = NULL;
schedstat sched_pidlist[KERNEL_PID_LAST + 1];
#endif
int sched_run(void)
int __attribute__((used)) sched_run(void)
{
sched_context_switch_request = 0;