commit | a5df038bcd260c6bd99e9c10a4185fb5e5c3f563 | [log] [tgz] |
---|---|---|
author | David 'Digit' Turner <digit@google.com> | Tue Nov 30 14:39:40 2010 +0100 |
committer | David 'Digit' Turner <digit@google.com> | Tue Nov 30 14:39:40 2010 +0100 |
tree | 9dadcc75dd457be500b2a150edfccbf51eb8b597 | |
parent | 7543c2bd14cf13dd7c4ccca89bd50e3a183cd50e [diff] |
download-toolchain-sources.sh: Add --git-base option Simplify the script and add a --git-base option used to specify a new root for all toolchain repositories. This is useful to work with custom repo installation of the toolchain sources. Also simplify the script. Change-Id: Ia51613b1f3cf34c9dbeaf19f24c563c54694a350