diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-10 19:08:42 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-09-10 19:08:42 +0000 |
commit | 4003eaca4115b98f02cd73138c073084191f5ed6 (patch) | |
tree | 1c85d1185b5e79e8cd598080dca9b0b9e29512d7 /tools | |
parent | 4b8856628fa0754c9d2f747a0dee296b49902845 (diff) | |
download | mpfr-4003eaca4115b98f02cd73138c073084191f5ed6.tar.gz |
[tools/mpfrlint] Correction after r7825.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7826 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 cc0829173..5f1f0d1fb 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -98,7 +98,7 @@ GFDL versions differ: EOF tools/ck-copyright-notice -which gcc 2> /dev/null && tools/ck-mparam +which gcc > /dev/null 2> /dev/null && tools/ck-mparam texisvnd=`LC_ALL=C TZ=UTC svn info doc/mpfr.texi 2> /dev/null | sed -n 's/Last Changed Date:.*, [0-9]* \([A-Z][a-z][a-z] [0-9][0-9][0-9][0-9]\)).*/\1/p'` if [ $? -eq 0 ] && [ -n "$texisvnd" ]; then |