diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-05 10:19:02 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-05 10:19:02 +0000 |
| commit | 6543abafb3102cc1c114b327704ba2744b25f946 (patch) | |
| tree | 3a7d9a856a650224de4cc873daf4533c15f1ad85 /tools/mpfrlint | |
| parent | f4801783b4978d101eca7ac3b1641ba3ab339c10 (diff) | |
| download | mpfr-6543abafb3102cc1c114b327704ba2744b25f946.tar.gz | |
[tools/mpfrlint] Replaced {src,tests}/*.{c,h} by $srctests.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9163 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index bc676d5b9..5103f2899 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -57,7 +57,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 {src,tests}/*.{c,h} | \ + grep mp_${i}_t $srctests | \ grep -v "\(# *define\|# *ifndef\|typedef\) *mp_${i}_t" | \ grep -v "\[mp_${i}_t\]" done @@ -163,7 +163,7 @@ EOF # In case of problems, one can also skip files or use "grep -v"... which codespell > /dev/null 2> /dev/null && codespell -q3 -S algorithm2e.sty,algorithms.tex,texinfo.tex \ - AUTHORS BUGS INSTALL NEWS README TODO doc examples {src,tests}/*.{c,h} + AUTHORS BUGS INSTALL NEWS README TODO doc examples $srctests cd "$dir" "`dirname -- "$0"`"/check_inits_clears |