diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2015-10-23 17:43:34 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2015-10-23 17:43:34 +0900 |
commit | 5694b5ed30454f26f5741ab43a803b9a726a511d (patch) | |
tree | a85aff7d6d026e8a43f362ff7d8c0c8775b8fada /install | |
parent | a1184ceb4e1fcf468a7a56052eff53192092b0f4 (diff) |
Fix #394 - --bin option is broken
Diffstat (limited to 'install')
-rwxr-xr-x | install | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |