summaryrefslogtreecommitdiff
path: root/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2009-03-19 02:11:38 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2009-03-19 02:11:38 +0000
commit5be4d74ebc4ec3bb14561484e17be845efe365f3 (patch)
tree0344d4f2467f25973e2fe8fcb2b2d5d84710d662 /mpfrlint
parent1b05267e0f150a348626adc0864c2834f9c43438 (diff)
downloadmpfr-5be4d74ebc4ec3bb14561484e17be845efe365f3.tar.gz
mpfrlint: added some tests for acinclude.m4 and configure.in (sh).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@6130 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'mpfrlint')
-rwxr-xr-xmpfrlint3
1 files changed, 3 insertions, 0 deletions
diff --git a/mpfrlint b/mpfrlint
index 84e6dfe1f..61a044ddb 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -8,6 +8,9 @@ grep -E 'mpfr_(underflow|overflow|nanflag|inexflag|erangeflag)_p' *.{c,h} | \
grep -v '^exceptions.c:' | grep -v '^mpfr-impl.h:#define mpfr_.*_p()' | \
grep -v '^mpfr.h:__MPFR_DECLSPEC '
+grep -E 'if +(test|\[).* == ' acinclude.m4 configure.in
+grep -E '="`' acinclude.m4 configure.in
+
grep GMP_RND {,tests/}*.{c,h} | grep -v '#define GMP_RND'
fdlv1="`sed -n '/Version / {s/.*Version //; s/,.*//; p; q}' fdl.texi`"