[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH hurd 3/3] Mark msg_thread as noreturn
|
From: |
Samuel Thibault |
|
Subject: |
Re: [PATCH hurd 3/3] Mark msg_thread as noreturn |
|
Date: |
Fri, 29 Dec 2023 17:42:22 +0100 |
|
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Flavio Cruz, le ven. 29 déc. 2023 11:12:11 -0500, a ecrit:
> ---
> boot/boot.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/boot/boot.c b/boot/boot.c
> index 0d7ae74..d773bd1 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)
> --
> 2.39.2
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.