summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Thomson <ethomson@edwardthomson.com>2018-07-21 10:49:23 -0700
committerEdward Thomson <ethomson@edwardthomson.com>2018-07-26 15:34:53 +0100
commit230eeda8e464a4675e82007d0c505617a6c243ed (patch)
tree29269f94000e795a0ebaee33b1f73335675880b3
parentb00672b9e404adb771601408d4b02711085d6f90 (diff)
downloadlibgit2-230eeda8e464a4675e82007d0c505617a6c243ed.tar.gz
ci: some additional debugging
-rwxr-xr-xci/test.sh8
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/test.sh b/ci/test.sh
index 361479b68..013476aa0 100755
--- a/ci/test.sh
+++ b/ci/test.sh
@@ -18,15 +18,21 @@ cleanup() {
echo "Cleaning up..."
if [ ! -z "$GITDAEMON_DIR" -a -f "${GITDAEMON_DIR}/pid" ]; then
+ echo "Stopping git daemon..."
kill $(cat "${GITDAEMON_DIR}/pid")
fi
if [ ! -z "$SSHD_DIR" -a -f "${SSHD_DIR}/pid" ]; then
+ echo "Stopping SSH..."
kill $(cat "${SSHD_DIR}/pid")
fi
+
+ echo "Done."
}
die() {
+ echo "Test exited with code: $1"
+
cleanup
exit $1
}
@@ -179,4 +185,6 @@ if [ -z "$SKIP_SSH_TESTS" ]; then
unset GITTEST_REMOTE_SSH_FINGERPRINT
fi
+echo "Success."
cleanup
+exit 0