Re: [dpdk-dev] [PATCH] devtools: catch symbol duplicates in version map
From: Thomas Monjalon <hidden> Date: 2021-02-25 11:41:25
25/02/2021 12:14, David Marchand:
Add a check on versioned symbol duplicates in map files.
Signed-off-by: David Marchand <redacted>
---
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.