diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-17 09:53:44 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-17 09:53:44 +0000 |
| commit | 355f3203e55d9e0a8d7348195522ad710d17624e (patch) | |
| tree | a63fcf28942693c526f7c41700438de390a25609 | |
| parent | a42c769697a35ed210d5aa5b9028bf92b58c2cac (diff) | |
| download | mpfr-355f3203e55d9e0a8d7348195522ad710d17624e.tar.gz | |
[tools/mpfrlint] Update due to the mini-gmp support (r8753).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8760 280ebfd0-de03-0410-8827-d642c229c3f4
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 5ab29b7d1..55ee1cd80 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -84,7 +84,7 @@ done # as they need <stdarg.h> (HAVE_STDARG defined). for file in tests/*.c do - sed '/#if\(def\)\? *HAVE_STDARG/,/#\(endif\|else\) .*HAVE_STDARG/d + sed '/#if\(def\| *defined *(\)\? *HAVE_STDARG/,/#\(endif\|else\) .*HAVE_STDARG/d /\/\*.*\*\//d /\/\*/,/\*\//d' $file | grep -q "mpfr_[a-z]*printf" && \ echo "$file contains unprotected mpfr_printf-like function calls" |