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	ci: Improve log output (mainly Travis).	2017-06-02 01:14:26 +08:00