diff --git a/devtools/check-abi.sh b/devtools/check-abi.sh index 0b4d1a37e2..dd9120e69e 100755 --- a/devtools/check-abi.sh +++ b/devtools/check-abi.sh @@ -40,8 +40,13 @@ for dump in $(find $refdir -name "*.dump"); do # skip glue drivers, example librte_pmd_mlx5_glue.dump # We can't rely on a suppression rule for now: # https://sourceware.org/bugzilla/show_bug.cgi?id=25480 - if [ "$name" != "${name%%_glue.dump}" ]; then - echo "Skipping ${dump}..." + if grep -qE "\