diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4962ae13..6f2edfb0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -221,5 +221,7 @@ jobs: # (odd). # tests/check-all # make -j 15 check || (cat ./test-suite.log; false) + pwd + ls -la make check-local-c-list done 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"