[PATCH] buildtools/cmdline-gen: add more headers to generated file

[Thomas Monjalon]

30/04/2026 13:30, Bruce Richardson:
> The generated cmdline header file output often uses uintXX_t types for
> parameters specified in the input file. Therefore include stdint.h so
> that the types are available for uses of the generated file without
> requiring the user to include the header in their C file.
> 
> Although not strictly required, also include cmdline_socket.h too, to
> provide the "cmdline_stdin_new()" function. The standard cmdline.h only
> provides the more generic "cmdline_new()" function, which is less useful
> for many cases. Therefore, having the extra header include just makes
> things a little easier on the end-user.
> 
> Signed-off-by: Bruce Richardson <bruce.richardson at intel.com>

Applied, thanks.