I think it'll be better if we just try timeout, then gtimeout, and default to the original if neither exists. Do you know if there are any targets other than Windows with a timeout command that does something completely different <http://ss64.com/nt/timeout.html>? http://reviews.llvm.org/D6364