Re: [dpdk-dev] [PATCH] devtools: catch symbol duplicates in version map
From: Thomas Monjalon <hidden>
Date: 2021-02-25 11:41:25
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.