diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-04-25 10:34:31 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-04-25 10:34:31 +0000 |
| commit | d34a94f8ef27a31badeb9c398645327f94dfb6d9 (patch) | |
| tree | 9359fcd4810a20298442dc4108cad4fcd2ba03fb /tools | |
| parent | 460350f2037cdb20d672efc0307b081b4d01b64c (diff) | |
| download | mpfr-d34a94f8ef27a31badeb9c398645327f94dfb6d9.tar.gz | |
[tools/mpfrlint] Check that the lists of rounding modes in
src/print_rnd_mode.c and doc/mpfr.texi are identical.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13472 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 237ba3260..0b68b769a 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -422,6 +422,14 @@ grep -E '[^a-z_](m|re)alloc *\(' tests/*.c | \ err-if-output --dir=doc "check-typography" ./check-typography +rndmodes1=(${(o)$(perl -ne '/return\s*"(MPFR_\S+)"/ and print "$1\n"' src/print_rnd_mode.c)}) +rndmodes2=(${(o)$(sed -n '/deftypefun.*mpfr_print_rnd_mode/,/end deftypefun/{s/[^"]*"\(MPFR_[^"]*\)"[^"]*/\1\n/gp}' doc/mpfr.texi)}) +[[ "$rndmodes1" == "$rndmodes2" ]] || { cat <<EOF && err=1 } +The lists of rounding modes in src/print_rnd_mode.c and doc/mpfr.texi differ: + src/print_rnd_mode.c: $rndmodes1 + doc/mpfr.texi: $rndmodes2 +EOF + fdlv1="`sed -n '/Version / { s/.*Version // s/,.*// |