2 TIMEOUTCMD=`dirname "${BASH_SOURCE[0]}"`/babysitter
3 export MONO_BABYSITTER_LOG_FILE=babysitter_report.json_lines
7 echo "run-step.sh {--label=LABEL} {--skip|--timeout=TIMEOUT [--fatal]} command to run with arguments"
19 shift # past argument=value
23 shift # past argument=value
34 # unknown option, assume just part of cmdline
38 if [ -n "${SKIP}" ] && [ -z "${LABEL}" ]
43 then echo -e "*** start: ${LABEL}\n*** end(0): ${LABEL}: \e[45mSkipped\e[0m"
46 if [ -z "${LABEL}" ] || [ -z "${TIMEOUT}" ]
51 echo "*** start: ${LABEL}"
52 if [ -n "${FATAL}" ]; then
53 ${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)
55 ${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"