On Thu, Feb 25, 2021 at 12:41:16PM +0100, Thomas Monjalon wrote:
> 25/02/2021 12:14, David Marchand:
> > Add a check on versioned symbol duplicates in map files.
> >
> > Signed-off-by: David Marchand <david.march...@redhat.com>
> > ---
> > This check could be added to buildtools/check-symbols.sh so that
> > regular developers catch the issue when building their changes...
> > Opinions?
>
> In general I am against adding developer tools in the build process,
> because it could cause more issues for normal users.
>
Is this really likely to cause issues for normal users? If we add this to
the build process any issues will surely be caught be developers before
merge.
