CI/distcheck: run full tests

To be able to detect missing files better, this now runs the full CI
test suite. If done before, it would have detected #12462 before
release.

Closes #12503

diff --git a/.github/workflows/distcheck.yml b/.github/workflows/distcheck.yml
index 8b908e0a5bc631759c829dccf32910a1c2e84d7a..6c050f517407ff14190dfdc485e02c16b558c606 100644 (file)
--- a/.github/workflows/distcheck.yml
+++ b/.github/workflows/distcheck.yml
@@ -50,7 +50,7 @@ jobs:
           pushd curl-99.98.97
           ./configure --prefix=$HOME/temp --without-ssl
           make
-          make TFLAGS=1 test
+          make test-ci
           make install
           popd
           # basic check of the installed files
@@ -75,7 +75,7 @@ jobs:
           pushd build
           ../curl-99.98.97/configure --without-ssl
           make
-          make TFLAGS='-p 1 1139' test
+          make test-ci
           popd
           rm -rf build
           rm -rf curl-99.98.97
@@ -98,7 +98,7 @@ jobs:
           pushd build
           ../configure --without-ssl --enable-debug "--prefix=${PWD}/pkg"
           make -j3
-          make -j3 TFLAGS=1279 test
+          make -j3 test-ci
           make -j3 install
         name: 'verify out-of-tree autotools debug build'