devtools: report the incorrect section when complaining
authorDavid Marchand <david.marchand@redhat.com>
Fri, 30 Nov 2018 12:32:01 +0000 (13:32 +0100)
committerFerruh Yigit <ferruh.yigit@intel.com>
Fri, 30 Nov 2018 17:03:19 +0000 (17:03 +0000)
commit0fc7178e73a75fcd84f5806d20e222bc49653b33
treee61eff12f2615f3b1660fc3ae168b478676cd0e4
parent7b2d0b3e779d3156d81043fe80d628b3285fee8e
devtools: report the incorrect section when complaining

It does not hurt reporting the incriminated section.

Before:
ERROR: symbol rte_plop is added in a section other than the EXPERIMENTAL
section of the version map

After:
ERROR: symbol rte_plop is added in the DPDK_19.02 section, but is
expected to be added in the EXPERIMENTAL section of the version map

Signed-off-by: David Marchand <david.marchand@redhat.com>
Acked-by: Neil Horman <nhorman@tuxdriver.com>
devtools/check-symbol-change.sh