summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2011-03-07 13:01:36 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2011-03-07 13:01:36 +0000
commite9be52ab2d8278a55d22ea3bda7ca90ec101881e (patch)
treebe1eafd55a4d9b984bc16e1e284c841b5b5a2c13 /tools
parente81346238e9e41467b58a08287932f0bed0d6f9a (diff)
downloadmpfr-e9be52ab2d8278a55d22ea3bda7ca90ec101881e.tar.gz
[tools/mpfrlint] Change of r7515: any mpfr_clear_* can be mentioned.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7538 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-xtools/mpfrlint2
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 '