diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-12 11:53:38 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-12 11:53:38 +0000 |
| commit | 723b126352c1bc2b486d0a7dbbc98547c30100e8 (patch) | |
| tree | 0981429c1cccfa520cc1ad8da14d26388750ff4e /tools | |
| parent | 245d2920969d8a7ad743bbfd1d9e433dd793d2bb (diff) | |
| download | mpfr-723b126352c1bc2b486d0a7dbbc98547c30100e8.tar.gz | |
[tools/mpfrlint] Improved the __GMP_DECLSPEC test:
* No longer exclude "src/mpfr.h".
* Avoid false positives in "src/mpfr.h" and "src/mpfr-longlong.h".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13995 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 233450626..fa869952c 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -189,8 +189,10 @@ grep GMP_RND $srctests | err-if-output -t "GMP_RND*" grep -v '#define GMP_RND' # this file to MPFR. See: # https://sympa.inria.fr/sympa/arc/mpfr/2018-08/msg00000.html # https://sympa.inria.fr/sympa/arc/mpfr/2018-08/msg00001.html -err-if-output --msg="Use __MPFR_DECLSPEC instead." -t "__GMP_DECLSPEC" \ - grep --exclude=src/mpfr.h __GMP_DECLSPEC $srctests +grep __GMP_DECLSPEC $srctests | \ + grep -Ev '^src/mpfr.h:(#|.*__GMP_DECLSPEC_..PORT)' | \ + grep -v '__GMP_DECLSPEC renamed to __MPFR_DECLSPEC' | \ + err-if-output --msg="Use __MPFR_DECLSPEC instead." -t "__GMP_DECLSPEC" cat # Use mpfr_div_2ui/mpfr_mul_2ui instead of mpfr_div_2exp/mpfr_mul_2exp. grep 'mpfr_\(div\|mul\)_2exp' {src,tests}/*.[ch] |\ |