diff options
author | Mathias Stearn <redbeard0531@gmail.com> | 2017-05-18 09:51:31 -0400 |
---|---|---|
committer | Mathias Stearn <redbeard0531@gmail.com> | 2017-05-18 09:51:31 -0400 |
commit | ad545320a78d3c61f42dab14767d05139a871c0a (patch) | |
tree | 1a1a0f74703a12e1399587c8305b4616d70a0a60 | |
parent | 2fc5b9e34bc38c7a8c4c33f39990f847325beffd (diff) | |
download | ninja-ad545320a78d3c61f42dab14767d05139a871c0a.tar.gz |
Make zsh completion use explicitly specified ninja files
-rw-r--r-- | misc/zsh-completion | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/misc/zsh-completion b/misc/zsh-completion index 446e269..bf23fac 100644 --- a/misc/zsh-completion +++ b/misc/zsh-completion @@ -22,7 +22,12 @@ __get_targets() { then eval dir="${opt_args[-C]}" fi - targets_command="ninja -C \"${dir}\" -t targets all" + file="build.ninja" + if [ -n "${opt_args[-f]}" ]; + then + eval file="${opt_args[-f]}" + fi + targets_command="ninja -f \"${file}\" -C \"${dir}\" -t targets all" eval ${targets_command} 2>/dev/null | cut -d: -f1 } |