[ci] Disable corlib-xunit on Windows for now
[mono.git] / scripts / ci / run-step.sh
index 7067a3f8a58bb8a17c6639f7370fddeb07c071e4..4ea5fbc4c3a3e3593a5fc7c84782901ea32fe587 100755 (executable)
@@ -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 ()