diff options
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 1da57510f..3cfbd2f97 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -9,6 +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 '^src/exceptions.c:' | \ grep -v '^src/mpfr-impl.h:#define mpfr_.*_p()' | \ grep -v '^src/mpfr.h:__MPFR_DECLSPEC ' |