diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2023-12-29 11:12:11 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-12-29 17:42:15 +0100 |
| commit | 17ae5549dcf74e6a99c0d5d29adc8f9cc2931c12 (patch) | |
| tree | 980bb3e5868ea25cf5d610f92f38e7c5a852626c | |
| parent | 6eb68a228b387334c259567589838257e2bbdaf9 (diff) | |
Mark msg_thread as noreturn
Message-ID: <20231229161211.312389-3-flaviocruz@gmail.com>
| -rw-r--r-- | boot/boot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 0d7ae74b..d773bd1f 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -775,7 +775,7 @@ main (int argc, char **argv, char **envp) } } -void * +void * __attribute__ ((noreturn)) msg_thread (void *arg) { while (1) |