Merge pull request #145 from gnustep/ci-cat-config-log

Output config.log if build fails on CI.
This commit is contained in:
rfm 2020-11-13 11:43:55 +00:00 committed by GitHub
commit 3bba338dab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -126,7 +126,7 @@ before_script: |
script:
# configure and make need to be executed via MinGW shell on Windows ($mingw is undefined on Linux)
- $mingw ./configure $BASE_ABI $CONFIGURE_OPTS || (cat config.log && false)
- $mingw make && $mingw make install && $mingw make check || (cat Tests/tests.log && false)
- ($mingw make || (cat config.log && false)) && $mingw make install && $mingw make check || (cat Tests/tests.log && false)
# set up packages cache (currently used on Windows only)
before_cache: |