#!/bin/sh # make sure `timeout` is available. if timeout --help >/dev/null ; then exit 0 else exit 77 fi