X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=scripts%2Fci%2Frun-step.sh;h=4ea5fbc4c3a3e3593a5fc7c84782901ea32fe587;hb=6025544e01621474c7c7e1acb08bcfa66704e8db;hp=2e47f85518414c2deebcc949466344288b876dfd;hpb=36390e00bea391fdc025ff1bfb27421f12d12e2d;p=mono.git

diff --git a/scripts/ci/run-step.sh b/scripts/ci/run-step.sh
index 2e47f855184..4ea5fbc4c3a 100755
--- a/scripts/ci/run-step.sh
+++ b/scripts/ci/run-step.sh
@@ -1,5 +1,9 @@
 #!/bin/bash -e
 TIMEOUTCMD=`dirname "${BASH_SOURCE[0]}"`/babysitter
+if ! ${TIMEOUTCMD} -h >/dev/null 2>&1; then
+    TIMEOUTCMD=timeout  # fall back to timeout if babysitter doesn't work (e.g. python not installed or wrong version)
+fi
+
 export MONO_BABYSITTER_LOG_FILE=babysitter_report.json_lines
 
 helptext ()
@@ -50,7 +54,7 @@ fi
 STARTTIME=`date +%s`
 echo "*** start: ${LABEL}"
 if [ -n "${FATAL}" ]; then
-    ${TIMEOUTCMD} --signal=ABRT --kill-after=60s ${TIMEOUT} $@ && echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[42mPassed\e[0m" || (echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[41mFailed\e[0m" && exit 1)
+    ${TIMEOUTCMD} --signal=ABRT --kill-after=60s ${TIMEOUT} "$@" && echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[42mPassed\e[0m" || (echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[41mFailed\e[0m" && exit 1)
 else
-    ${TIMEOUTCMD} --signal=ABRT --kill-after=60s ${TIMEOUT} $@ && echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[42mPassed\e[0m" || echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[43mUnstable\e[0m"
+    ${TIMEOUTCMD} --signal=ABRT --kill-after=60s ${TIMEOUT} "$@" && echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[42mPassed\e[0m" || echo -e "*** end($(echo $(date +%s) - ${STARTTIME} | bc)): ${LABEL}: \e[43mUnstable\e[0m"
 fi