git.droids-corp.org
/
dpdk.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7145955
)
devtools: catch symbol duplicates in version map
author
David Marchand
<david.marchand@redhat.com>
Thu, 13 May 2021 08:34:14 +0000
(10:34 +0200)
committer
Thomas Monjalon
<thomas@monjalon.net>
Wed, 19 May 2021 10:51:12 +0000
(12:51 +0200)
Add a check on versioned symbol duplicates in map files.
Signed-off-by: David Marchand <david.marchand@redhat.com>
devtools/check-symbol-maps.sh
patch
|
blob
|
history
diff --git
a/devtools/check-symbol-maps.sh
b/devtools/check-symbol-maps.sh
index
055db24
..
3bf5823
100755
(executable)
--- a/
devtools/check-symbol-maps.sh
+++ b/
devtools/check-symbol-maps.sh
@@
-34,4
+34,19
@@
if [ -n "$orphan_symbols" ] ; then
ret=1
fi
+find_duplicate_symbols ()
+{
+ for map in $(find lib drivers -name '*.map') ; do
+ buildtools/map-list-symbol.sh $map | \
+ sort | uniq -c | grep -v " 1 $map" || true
+ done
+}
+
+duplicate_symbols=$(find_duplicate_symbols)
+if [ -n "$duplicate_symbols" ] ; then
+ echo "Found duplicates in symbol map file:"
+ echo "$duplicate_symbols"
+ ret=1
+fi
+
exit $ret