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