1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh
index 0f2517c7d1f..b8b1052c41c 100755
--- a/src/ci/run.sh
+++ b/src/ci/run.sh
@@ -127,7 +127,7 @@ 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"
   exit $ret
 else
   do_make() {