28/11/2019 14:46, David Marchand: > Those scripts are only used by developers and not part of the build > process. > > Signed-off-by: David Marchand <[email protected]>
I hesitated to accept these scripts in buildtools. I agree it is better in devtools, and not installed. Acked-by: Thomas Monjalon <[email protected]>
