diff options
Diffstat (limited to 'nuttx/tools/version.sh')
| -rwxr-xr-x | nuttx/tools/version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/tools/version.sh b/nuttx/tools/version.sh index bd9083309..5240eecc9 100755 --- a/nuttx/tools/version.sh +++ b/nuttx/tools/version.sh @@ -43,7 +43,7 @@ unset VERSION unset BUILD unset OUTFILE -while [ ! -z "$1" ]; do +while [ ! -z "$1" ]; do case $1 in -b ) shift |