diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-22 15:23:52 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-22 15:23:52 +0000 |
| commit | dedadcc4b0a61da7d7c6aa60e76bcf8f7ac2ea34 (patch) | |
| tree | deca22e67fe830bfbf415290f2ec7e4e943fcdc5 /tools | |
| parent | ab5c3e2e0a6e4a25e5d9514f89a6422c6a231410 (diff) | |
| download | mpfr-dedadcc4b0a61da7d7c6aa60e76bcf8f7ac2ea34.tar.gz | |
[tools/mpfrlint] Avoid false positives in the check of MPFR_LOG_MSG.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9193 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 3fc67c911..e2593f781 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -67,7 +67,7 @@ do perl -e 'my $f = do { local $/; <> }; while ($f =~ /MPFR_LOG_MSG\s*\(\s*\(.*?\)\s*\)/gs) { my $s = $&; print "$ARGV: $s\n" if - index($s,"\\n\"") < 0 || $s =~ /"\s*\)\s*\)/ + index($s,"\\n\"") < 0 || $s !~ /"\s*,/ }' $file done |