ci: don't spew config.log when it's not needed, less verbosity

This commit is contained in:
Alibek Omarov
2023-01-14 10:06:32 +03:00
parent a09aa31b7a
commit 2705e77a4e
4 changed files with 12 additions and 7 deletions

View File

@@ -1,9 +1,14 @@
die()
{
cat build/config.log
exit 1
}
die_configure()
{
cat build/config.log
die
}
if [ -n "$TRAVIS_BUILD_DIR" ]; then
BUILDDIR=$TRAVIS_BUILD_DIR
elif [ -n "$GITHUB_WORKSPACE" ]; then