Fix #394 - --bin option is broken

2024-06-26 10:52:37 +00:00 · 2015-10-23 17:43:34 +09:00 · 2015-10-23 17:43:34 +09:00 · 5694b5ed30
commit 5694b5ed30
parent a1184ceb4e
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -41,6 +41,7 @@ for opt in $@; do
    --no-completion)   auto_completion=0 ;;
    --update-rc)       update_config=1   ;;
    --no-update-rc)    update_config=0   ;;
+    --bin)             ;;
    *)
      echo "unknown option: $opt"
      help