diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2017-05-18 16:41:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-18 16:41:35 -0400 |
| commit | d6eb8baf8130ab93140395dceca363774092135d (patch) | |
| tree | 1a1a0f74703a12e1399587c8305b4616d70a0a60 | |
| parent | 2fc5b9e34bc38c7a8c4c33f39990f847325beffd (diff) | |
| parent | ad545320a78d3c61f42dab14767d05139a871c0a (diff) | |
| download | ninja-d6eb8baf8130ab93140395dceca363774092135d.tar.gz | |
Merge pull request #1280 from RedBeard0531/zsh_completion_explicit_file
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 } |