summaryrefslogtreecommitdiff
path: root/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2009-06-26 15:40:06 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2009-06-26 15:40:06 +0000
commit6f5e416d1ab1ebb42490f44616ace8a0cdc148d4 (patch)
treeee8c206c7a89196ca08da71bf2dac4a2703c17e5 /mpfrlint
parent3f944f217a6bc9b3d72b73067de160e768f6a4e3 (diff)
downloadmpfr-6f5e416d1ab1ebb42490f44616ace8a0cdc148d4.tar.gz
mpfrlint: check the use of the obsolete mp_rnd_t type.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@6296 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'mpfrlint')
-rwxr-xr-xmpfrlint2
1 files changed, 2 insertions, 0 deletions
diff --git a/mpfrlint b/mpfrlint
index 61a044ddb..012c61f96 100755
--- a/mpfrlint
+++ b/mpfrlint
@@ -13,6 +13,8 @@ grep -E '="`' acinclude.m4 configure.in
grep GMP_RND {,tests/}*.{c,h} | grep -v '#define GMP_RND'
+grep mp_rnd_t {,tests/}*.{c,h} | grep -v '# *\(define\|ifndef\) *mp_rnd_t'
+
fdlv1="`sed -n '/Version / {s/.*Version //; s/,.*//; p; q}' fdl.texi`"
fdlv2="`sed -n '/GNU Free Documentation License/ \
{s/.*Version //; s/ or.*//; p; q}' mpfr.texi`"