diff options
Diffstat (limited to 'tools/install.sh')
-rw-r--r-- | tools/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/install.sh b/tools/install.sh index 899d7e2..594d4de 100644 --- a/tools/install.sh +++ b/tools/install.sh @@ -33,6 +33,7 @@ while [ $# -gt 0 ]; do case $1 in -[bCcMpSs]) shift;; -[Bfgmo]) shift; shift;; + -[Bfgmo]*) shift;; *) break; esac done |