From f5bddca2a2c809e1ce6ba98ac6a7aa84c480bca1 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 9 Jun 2016 09:19:43 -0600
Subject: [PATCH] tools/refresh.sh: Fix USAGE comments

---
 tools/refresh.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/refresh.sh b/tools/refresh.sh
index a38eadaffd0..8e24fa0d90f 100755
--- a/tools/refresh.sh
+++ b/tools/refresh.sh
@@ -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"