summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdevtools/check-symbol-change.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/devtools/check-symbol-change.sh b/devtools/check-symbol-change.sh
index 40eb953..8da7650 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.