blob: 02d99123c4ab0855e13598d9759addf60559811d [file] [log] [blame]
Dmitry V. Levinf60347d2013-06-18 15:28:47 +00001#!/bin/sh
2
3. "${srcdir=.}/init.sh"
4
5$STRACE -V > /dev/null ||
6 framework_failure_ "$STRACE is not available"
7
8TIMEOUT="timeout -s 9 $TIMEOUT_DURATION"
9$TIMEOUT true > /dev/null 2>&1 ||
10 TIMEOUT=
11
12exec $TIMEOUT "$@"