Revert "Rollup merge of #58162 - pietroalbini:track-259, r=alexcrichton"

This reverts commit 4c243e2c3d, reversing changes made to 64f0032a37.
2019-02-06 15:16:50 +01:00 · 2019-02-06 15:16:50 +01:00 · 4f20348fd3
commit 4f20348fd3
parent b139669f37
2 changed files with 2 additions and 11 deletions
--- a/src/ci/run.sh
+++ b/src/ci/run.sh
@ -127,13 +127,7 @@ if [ ! -z "$SCRIPT" ]; then
  set +e
  sh -x -c "$SCRIPT"
  ret=$?
-  echo "exit code in src/ci/run.sh: $ret"
-
-  echo "tasklist:"
-  tasklist
-  echo -n "location of sh: "
-  where sh
-
+  echo "script exited with $ret"
  exit $ret
 else
  do_make() {