#!/bin/sh

# Throw away the timeout argument
shift

if [ "$FAKE_TIMEOUT" = "yes" ] || [ "$FAKE_TIMEOUT" = "$*" ]; then
	exit 124
else
	exec "$@"
fi
