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 <[email protected]>
Applied, thanks.
