diff options
Diffstat (limited to 'src/kernel/ao_task.h')
| -rw-r--r-- | src/kernel/ao_task.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/ao_task.h b/src/kernel/ao_task.h index ffeb7313..f3789fa2 100644 --- a/src/kernel/ao_task.h +++ b/src/kernel/ao_task.h @@ -134,7 +134,7 @@ ao_task_info(void); /* Start the scheduler. This will not return */ void -ao_start_scheduler(void); +ao_start_scheduler(void) __attribute__((noreturn)); #if HAS_TASK_QUEUE void |