echo "Use the following command instead:"
echo
echo "  ../run" "$@"
echo
echo "where '../run' is the path to the script called 'run' in the"
echo "top level build directory."

exit 1