Re: [PATCH 0/6] devtools: improve Linux uAPI script

[Thomas Monjalon <thomas@monjalon.net>]

27/08/2025 10:21, Thomas Monjalon:
> The main goal of this series is to check Linux uAPI headers quietly.
> While doing so, few minor improvements are done.
> 
> Thomas Monjalon (6):
>   devtools: remove superfluous curly braces in uAPI script
>   devtools: remove superfluous fallbacks in uAPI script
>   devtools: move uAPI processing into functions
>   devtools: remove unused variables in uAPI script
>   devtools: make uAPI check exclusive to other options
>   devtools: add quiet mode in uAPI script
> 
>  devtools/linux-uapi.sh | 146 ++++++++++++++++++++++-------------------
>  1 file changed, 80 insertions(+), 66 deletions(-)

Applied