1 files changed, 7 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh
index 0f2517c7d1f..0841e70a6ed 100755
--- a/src/ci/run.sh
+++ b/src/ci/run.sh
@@ -127,7 +127,13 @@ if [ ! -z "$SCRIPT" ]; then
   set +e
   sh -x -c "$SCRIPT"
   ret=$?
-  echo "script exited with $ret"
+  echo "exit code in src/ci/run.sh: $ret"
+
+  echo "tasklist:"
+  tasklist
+  echo -n "location of sh: "
+  where sh
+
   exit $ret
 else
   do_make() {