diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2009-06-26 15:40:06 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2009-06-26 15:40:06 +0000 |
commit | 6f5e416d1ab1ebb42490f44616ace8a0cdc148d4 (patch) | |
tree | ee8c206c7a89196ca08da71bf2dac4a2703c17e5 /mpfrlint | |
parent | 3f944f217a6bc9b3d72b73067de160e768f6a4e3 (diff) | |
download | mpfr-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-x | mpfrlint | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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`" |