diff options
-rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 222324392..a473172a2 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -9,7 +9,7 @@ dir=`pwd` grep '^# *include *<math\.h>' src/*.c grep -E 'mpfr_(underflow|overflow|nanflag|inexflag|erangeflag)_p' src/*.{c,h} | \ - grep -v 'mpfr_clear_flags' | \ + grep -v 'mpfr_clear_' | \ grep -v '^src/exceptions.c:' | \ grep -v '^src/mpfr-impl.h:#define mpfr_.*_p()' | \ grep -v '^src/mpfr.h:__MPFR_DECLSPEC ' |