diff options
Diffstat (limited to 'kern/machine.c')
| -rw-r--r-- | kern/machine.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/machine.c b/kern/machine.c index 5d1ea34..d5944ce 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -390,7 +390,7 @@ void action_thread_continue() } } -void action_thread() +void __attribute__((noreturn)) action_thread() { action_thread_continue(); /*NOTREACHED*/ |