diff options
-rwxr-xr-x | scripts/config | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/config b/scripts/config index 68b9761cdc38..db6084b78a10 100755 --- a/scripts/config +++ b/scripts/config | |||
@@ -60,6 +60,10 @@ else | |||
60 | FN=.config | 60 | FN=.config |
61 | fi | 61 | fi |
62 | 62 | ||
63 | if [ "$1" = "" ] ; then | ||
64 | usage | ||
65 | fi | ||
66 | |||
63 | while [ "$1" != "" ] ; do | 67 | while [ "$1" != "" ] ; do |
64 | CMD="$1" | 68 | CMD="$1" |
65 | shift | 69 | shift |