devtools: catch symbol duplicates in version map
authorDavid Marchand <david.marchand@redhat.com>
Thu, 13 May 2021 08:34:14 +0000 (10:34 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Wed, 19 May 2021 10:51:12 +0000 (12:51 +0200)
commit760a67e90f367cf4e114f568114acfd77eee193e
treed6034bb0d8d79e945ec86990950fb97b8f02b938
parent71459555a6f8c88d3638fd857b810d4913a504e3
devtools: catch symbol duplicates in version map

Add a check on versioned symbol duplicates in map files.

Signed-off-by: David Marchand <david.marchand@redhat.com>
devtools/check-symbol-maps.sh