projects / mono.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8527bb0) | patch
[ci] Fall back to timeout command if babysitter doesn't work
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 7 Apr 2016 14:57:54 +0000 (16:57 +0200)
committerAlexander Köplinger <alex.koeplinger@outlook.com>
Thu, 7 Apr 2016 14:57:54 +0000 (16:57 +0200)
commit89c209c78b1b702bc8f8e51384325d99350f69f6
treee88a7590ce0cbb09c5388431205603204330ace4tree | snapshot
parent8527bb09ec2d7b63af40770af38c83ed6bc68d75commit | diff
[ci] Fall back to timeout command if babysitter doesn't work

Some Jenkins workers (e.g. the s390x one) have an earlier python version installed where the babysitter doesn't work.
Fall back to timeout in those cases.
scripts/ci/run-step.sh diff | blob | history
my mono mirror. check out Moved to http://github.com/mono/mono