kennytm bf0653ea8e

Download the crosstool from GitHub instead of crosstool-ng.org ...

Temporary workaround since crosstool-ng.org was down. Consider mirroring
the release tarball as a more permanent solution.

2017-12-14 04:50:13 +08:00

..

docker

Download the crosstool from GitHub instead of crosstool-ng.org

2017-12-14 04:50:13 +08:00

init_repo.sh

Use #!/usr/bin/env as shebang for Bash scripts

2017-11-13 14:33:12 +00:00

run.sh

Update the tools CI to use --no-fail-fast and --save-toolstates.

2017-12-03 18:36:56 +08:00

shared.sh

…