#!/bin/sh
# Check TET_EXECUTE is set
if [ -z "$TET_EXECUTE" ]
then
	echo >&2 "No alternate execution directory supplied to buildtool"
	exit 1
fi

# Set TET_EXECUTE on command line to override default value in makefile
exec make TET_EXECUTE="$TET_EXECUTE"