devtools: preserve internal section on ABI bump
[dpdk.git] / devtools / gen-abi.sh
2020-02-05 David Marchanddevtools: add ABI checks