ci: cat config.log if configure run fails

ndim · Sep 18, 2024 · 7fd07d4 · 7fd07d4
1 parent ea6c032
commit 7fd07d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -75,7 +75,7 @@ jobs:
         run: autoreconf -v -i -f
 
       - name: 'configure'
-        run: ./configure ${COMMON_CONFIGURE_FLAGS} --prefix=$PWD/__prefix
+        run: if ./configure ${COMMON_CONFIGURE_FLAGS} --prefix=$PWD/__prefix; then :; else cat config.log; exit 1; fi
 
       - name: 'make'
         run: set -x; ${ci_MAKE} CPPFLAGS="${OS_SPECIFIC_CPPFLAGS}"