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:
96d8ea8
)
devtools: skip warning for reordered symbols
author
David Marchand
<david.marchand@redhat.com>
Fri, 3 May 2019 14:34:17 +0000
(16:34 +0200)
committer
Thomas Monjalon
<thomas@monjalon.net>
Thu, 9 May 2019 22:19:31 +0000
(
00:19
+0200)
No need to shout when we are just reordering symbols in a section.
Signed-off-by: David Marchand <david.marchand@redhat.com>
devtools/check-symbol-change.sh
patch
|
blob
|
history
diff --git
a/devtools/check-symbol-change.sh
b/devtools/check-symbol-change.sh
index
40eb953
..
8da7650
100755
(executable)
--- a/
devtools/check-symbol-change.sh
+++ b/
devtools/check-symbol-change.sh
@@
-121,6
+121,12
@@
check_for_rule_violations()
continue
fi
+ # This symbol is moving inside a section, nothing to do
+ if [ "$oldsecname" = "$secname" ]
+ then
+ continue
+ fi
+
# This symbol is moving between two sections (the
# original section is not experimental).
# This can be legit, just warn.