12 lines
215 B
Bash
Executable file
12 lines
215 B
Bash
Executable file
#!/bin/sh
|
|
|
|
. "${srcdir=.}/init.sh"
|
|
|
|
$STRACE -V > /dev/null ||
|
|
framework_failure_ "$STRACE is not available"
|
|
|
|
TIMEOUT="timeout -s 9 $TIMEOUT_DURATION"
|
|
$TIMEOUT true > /dev/null 2>&1 ||
|
|
TIMEOUT=
|
|
|
|
exec $TIMEOUT "$@"
|