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