diff options
| author | Alessandro Ghedini <alessandro@ghedini.me> | 2015-12-27 18:08:53 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2016-01-11 23:32:30 +0100 |
| commit | fb7cbf75a5dba5907c36852d8040f4e24a0e6fab (patch) | |
| tree | 1c3e9b95b5aea149c358495393d04fb35d882cdf /Makefile.dist | |
| parent | 92a20413ac74c28151851b7c58aff8a642d6ecea (diff) | |
scripts: fix zsh completion generation
The script should use the just-built curl, not the system one. This fixes
zsh completion generation when no system curl is installed.
Diffstat (limited to 'Makefile.dist')
0 files changed, 0 insertions, 0 deletions