diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-06-14T22·01+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-06-14T22·28+0000 |
| commit | c7659b4f45c52e75c152ac15a1bec1d1e2547515 (patch) | |
| tree | e15b5513bd875cc7bd4b4a1c6ad1bcd55ae4e94d /bin/__dispatch.sh | |
| parent | 69fe278315615f944648542b3cab4f26c5165c21 (diff) | |
feat(bin): Add git-bug to dispatch script r/960
Change-Id: Ic60aec36502b5c70256cb688e101d35f15c90183 Reviewed-on: https://cl.tvl.fyi/c/depot/+/346 Reviewed-by: lukegb <lukegb@tvl.fyi>
Diffstat (limited to 'bin/__dispatch.sh')
| -rwxr-xr-x | bin/__dispatch.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/__dispatch.sh b/bin/__dispatch.sh index dce1cc41cd0b..0808e1f634cc 100755 --- a/bin/__dispatch.sh +++ b/bin/__dispatch.sh @@ -44,6 +44,9 @@ case "${TARGET_TOOL}" in ninja) attr="third_party.ninja" ;; + git-bug) + attr="third_party.git-bug" + ;; *) echo "The tool '${TARGET_TOOL}' is currently not installed in this repository." exit 1 |