Revert "Auto merge of #57975 - alexcrichton:debug-exit-appveyor, r=pietroalbini"

This reverts commit d3d0bf0e9f, reversing
changes made to 40e6a0bd76.
This commit is contained in:
Pietro Albini 2019-02-06 15:17:15 +01:00
parent 4f20348fd3
commit 99599245a3
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C

View File

@ -121,14 +121,7 @@ fi
travis_fold end log-system-info
if [ ! -z "$SCRIPT" ]; then
# This `set +e` followed by capturing the return value is a temporary measure
# to help debug "error with exit 259" on AppVeyor temporarily, otherwise all
# that's needed here is the `sh`
set +e
sh -x -c "$SCRIPT"
ret=$?
echo "script exited with $ret"
exit $ret
else
do_make() {
travis_fold start "make-$1"