diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-09 00:27:35 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-02-09 00:27:35 +0000 |
| commit | dc23737d5fc72b67cf3d0f0f696c32810cb48807 (patch) | |
| tree | 68570370dfb942928e112fe865cdac17f2612659 /tools/mpfrlint | |
| parent | c4029a525cfde87ce4e78a7e2467656412223bcd (diff) | |
| download | mpfr-dc23737d5fc72b67cf3d0f0f696c32810cb48807.tar.gz | |
[tools/mpfrlint] Avoid false positives in mp_exp_t check.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9995 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index a5612c4f2..b1f88654a 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -58,7 +58,7 @@ grep -E '[^0-9a-z_]_mpfr_(prec|sign|exp|d)' {src,tests}/*.c for i in exp prec rnd do - grep mp_${i}_t $srctests | \ + grep "[^a-z]mp_${i}_t" $srctests | \ grep -v "\(# *define\|# *ifndef\|typedef\) *mp_${i}_t" | \ grep -v "\[mp_${i}_t\]" done |