| commit | 1d1b2566a97f0cbdfa270b63e1d2df73bd5469f1 | [log] [tgz] |
|---|---|---|
| author | Nikita Iashchenko <nikitai@google.com> | Thu Nov 25 18:44:18 2021 +0000 |
| committer | vichang <vichang@google.com> | Mon Nov 29 12:41:15 2021 +0000 |
| tree | 3514f098793be397fed56821578706f963cadb9b | |
| parent | 3cea420598ff4ff587f91a38f7308182120bb831 [diff] |
Make install_tools.sh zsh compatible Fallback to $0 when $BASH_SOURCE is not available. Test: n/a Change-Id: I3ac87ef44273510833df9e1d895cad29b2846c54