diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4962ae13..44aafd77 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -221,5 +221,8 @@ jobs: # (odd). # tests/check-all # make -j 15 check || (cat ./test-suite.log; false) + pwd + ls -la + find make check-local-c-list done diff --git a/Makefile.am b/Makefile.am index 10f79ece..942bb940 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1205,6 +1205,7 @@ check-local-c-list: check_local += check-local-c-list clean-local-c-list: + pwd rm -rf ./build-c-list/ clean_local += clean-local-c-list diff --git a/tools/check-c-list.sh b/tools/check-c-list.sh index 759ba424..f18ad170 100755 --- a/tools/check-c-list.sh +++ b/tools/check-c-list.sh @@ -1,6 +1,6 @@ #!/usr/bin/bash -set -e +set -ex print_and_exit() { local err="$1"