summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-04-23 07:17:40 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-04-23 07:17:40 +0000
commit1e245c189f88fff1a7d6b2966a0156e600330db7 (patch)
tree7f6c83280598bcf31cb2d8a91cffb79e772b4878 /tools/mpfrlint
parenta22206b91d6c544ceb7a303e41b48814dece5796 (diff)
downloadmpfr-1e245c189f88fff1a7d6b2966a0156e600330db7.tar.gz
[tools/mpfrlint] Update after r8141.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8147 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-xtools/mpfrlint2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index a2276cf50..cf3979503 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_' | \
+ grep -v -i 'mpfr_clear_' | \
grep -v '^src/exceptions.c:' | \
grep -v '^src/mpfr-impl.h:#define mpfr_.*_p()' | \
grep -v '^src/mpfr.h:__MPFR_DECLSPEC '