diff options
| author | Frank Gevaerts <frank@gevaerts.be> | 2014-09-25 00:24:38 +0200 |
|---|---|---|
| committer | Frank Gevaerts <frank@gevaerts.be> | 2014-09-25 00:26:25 +0200 |
| commit | be9c22727059fda1be7db6254d17660679c277f4 (patch) | |
| tree | 5b827b53ba4be50082260bc5d631475ed148fc17 /tools | |
| parent | 428641998e7173120fc864c78c5dde7851496d8b (diff) | |
Don't require a specific BUILD_TOOLS_VERSION.
Pick anything with the correct major version, which should be good enough.
Currently we want sdk version 19, which has tools that come as 19.0.3 or
19.1.0, depending on when exactly the sdk was installed. Both work fine
for rockbox, so accepting both is useful.
Change-Id: Ie31306210e3cfe78288269574e78976b682eab31
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions