tools/refresh.sh: Fix USAGE comments

This commit is contained in:
Gregory Nutt 2016-06-09 09:19:43 -06:00
parent 48c9aa08a3
commit f5bddca2a2

View File

@ -32,7 +32,7 @@
# POSSIBILITY OF SUCH DAMAGE.
#
USAGE="USAGE: $0 [--debug|--help] <board>/<config>"
USAGE="USAGE: $0 [options] <board>/<config>"
ADVICE="Try '$0 --help' for more information"
unset CONFIG
@ -51,7 +51,7 @@ while [ ! -z "$1" ]; do
echo ""
echo $USAGE
echo ""
echo "Where:"
echo "Where [options] include:"
echo " --debug"
echo " Enable script debug"
echo " --silent"