diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 00:21:16 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 00:21:16 +0000 |
| commit | b98743212c4af5324dcd13c3f1a59322273ac979 (patch) | |
| tree | 4a069188ec1f2cbb6d8d5aa10e9cf8e14db343de /tools/mpfrlint | |
| parent | 081fd97510f88f5461fe0dcd8011656c4bd812a1 (diff) | |
| download | mpfr-b98743212c4af5324dcd13c3f1a59322273ac979.tar.gz | |
[tools/mpfrlint] Update due to r13221.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13222 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index e5d225bbe..ff3f6ac7a 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -363,7 +363,12 @@ err-if-output \ '^ *# *include *"mpfr-impl.h"' tests/*.{c,h} # Check that the usual test programs call tests_start_mpfr and tests_end_mpfr. -tprg=($(sed -n '/^check_PROGRAMS/,/[^\\]$/ { +if grep -q TESTS_NO_TVERSION tests/Makefile.am; then + tprgvar=TESTS_NO_TVERSION +else + tprgvar=check_PROGRAMS +fi +tprg=($(sed -n "/^$tprgvar"'/,/[^\\]$/ { s/.*=// s/\\// p |