devtools: skip warning for reordered symbols
authorDavid Marchand <david.marchand@redhat.com>
Fri, 3 May 2019 14:34:17 +0000 (16:34 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 9 May 2019 22:19:31 +0000 (00:19 +0200)
commitf089713132dcdc2e3dd235f56d23e682bd406ce5
tree8599fdc50179eb1cf435c33140cf9323085afcc7
parent96d8ea839bded055fbbc01bfca44a7df3710e2ef
devtools: skip warning for reordered symbols

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