From f089713132dcdc2e3dd235f56d23e682bd406ce5 Mon Sep 17 00:00:00 2001 From: David Marchand Date: Fri, 3 May 2019 16:34:17 +0200 Subject: [PATCH] devtools: skip warning for reordered symbols No need to shout when we are just reordering symbols in a section. Signed-off-by: David Marchand --- devtools/check-symbol-change.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/devtools/check-symbol-change.sh b/devtools/check-symbol-change.sh index 40eb953221..8da7650819 100755 --- 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. -- 2.20.1