diff --git a/tools/install.sh b/tools/install.sh
index 899d7e21d48a..594d4de7a135 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