diff --git a/devtools/check-abi.sh b/devtools/check-abi.sh index 675f10142ed..033f6252d00 100755 --- a/devtools/check-abi.sh +++ b/devtools/check-abi.sh @@ -44,10 +44,6 @@ for dump in $(find $refdir -name "*.dump"); do echo "Skipped glue library $name." continue fi - if grep -qE "\