devtools: fix check of symbol added as stable API
authorDavid Marchand <david.marchand@redhat.com>
Fri, 3 May 2019 14:34:20 +0000 (16:34 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 9 May 2019 22:19:31 +0000 (00:19 +0200)
commitaf14b150df78ec46de919ae4a30efbefbcd44c95
tree0d03e3489c6ee1f56a3a1e66445847d09b679f6e
parentd4ef40f3c60e0d8a93a86373f81beaba5731c58b
devtools: fix check of symbol added as stable API

The incriminated commit broke the detection of new symbols skipping the
EXPERIMENTAL step before entering a stable ABI section.
sed won't return an error, check a null output instead.

Fixes: 3630757803ab ("devtools: accept experimental symbol promotion")
Cc: stable@dpdk.org
Signed-off-by: David Marchand <david.marchand@redhat.com>
devtools/check-symbol-change.sh