Re: [PATCH 13/15] cleanup headers in printf.c

[Samuel Thibault]

Luca Dariz, le mar. 28 juin 2022 12:10:52 +0200, a ecrit:
> * kern/printf.c: remove unnecessary #include and reorder
> 
> This allows the file to be reused for minimal user-space tests.
> 
> Signed-off-by: Luca Dariz <luca@orpolo.org>

Applied, thanks!

> ---
>  kern/printf.c | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/kern/printf.c b/kern/printf.c
> index 50f23623..cbc27ae6 100644
> --- a/kern/printf.c
> +++ b/kern/printf.c
> @@ -116,12 +116,12 @@
>   *           (compatibility)
>   */
>  
> +#include <stdarg.h>
>  #include <string.h>
>  #include <device/cons.h>
>  #include <kern/printf.h>
>  #include <mach/boolean.h>
> -#include <kern/lock.h>
> -#include <stdarg.h>
> +
>  
>  #define isdigit(d) ((d) >= '0' && (d) <= '9')
>  #define Ctod(c) ((c) - '0')
> -- 
> 2.30.2
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.