diff options
-rwxr-xr-x | tools/mpfrlint | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 0b68b769a..bd3fbf961 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -424,10 +424,13 @@ 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 } +rndmodes3=(${(o)$(sed -n '/The following rounding modes are supported:/,/end itemize/{s/.*@item @code{\(MPFR_[^}]*\)}.*/\1/p}' doc/mpfr.texi)}) +[[ "$rndmodes1" == "$rndmodes2" && "$rndmodes2" == "$rndmodes3" ]] || + { 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 + $rndmodes1 + $rndmodes2 + $rndmodes3 EOF fdlv1="`sed -n '/Version / { |