diff options
author | Rolf Bjarne Kvinge <rolf@xamarin.com> | 2018-04-19 14:14:57 +0300 |
---|---|---|
committer | Marek Safar <marek.safar@gmail.com> | 2018-05-01 01:20:20 +0300 |
commit | 9824e260f56eb08b163e2c79d3338cd946aad7d6 (patch) | |
tree | 428347ac3b817b67fa5c23d83169d404ae662ead | |
parent | a085951264bf82fbf77765078d1138d04ad4d6ab (diff) |
Only show config.log when running on bots.mono-5.12.0.226
-rwxr-xr-x | sdks/builds/wrap-configure.sh | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/sdks/builds/wrap-configure.sh b/sdks/builds/wrap-configure.sh index 9e077a27389..735fd778dc2 100755 --- a/sdks/builds/wrap-configure.sh +++ b/sdks/builds/wrap-configure.sh @@ -43,10 +43,20 @@ if ! "$@" > ".stamp-configure-$D.log" 2>&1; then if [[ x"$FAILED" == "x1" ]]; then echo "Configuring $D failed:" sed "s/^/ /" < ".stamp-configure-$D.log" - echo - echo " *** config.log *** " - echo - sed "s/^/ /" < config.log + + # Only show config.log if building on CI (jenkins/wrench) + SHOW_CONFIG_LOG=0 + if test -n "$JENKINS_HOME"; then + SHOW_CONFIG_LOG=1 + elif test -n "$BUILD_REVISION"; then + SHOW_CONFIG_LOG=1 + fi + if [[ x$SHOW_CONFIG_LOG == x1 ]]; then + echo + echo " *** config.log *** " + echo + sed "s/^/ /" < config.log + fi exit 1 fi fi |