path: root/toolchain-tools
AgeCommit message (Expand)Author
2016-11-07remove toolchain-tools scriptAndy Doan
2016-04-07toolchain-tools: logiferr(): Pass args using "$@".Paul Sokolovsky
2016-04-01toolchain-tools: dejagnu: Don't overwrite local branches when mirroring.Paul Sokolovsky
2015-10-05toolchain-mirror: Call update-server-info on all repositoriesAndy Doan
2015-10-01toolchain-mirror: Remove dead codeAndy Doan
2015-08-14toolchain-tools: force umask to 0022Matt Hart
2015-07-28Silence the remote for toolchain-tools (new2_gcc)Matt Hart
2015-07-06toolchain-tools: More mirror repos use stubborn_do.Paul Sokolovsky
2015-07-03toolchain-tools: stubborn_do(): Add more retry delays.Paul Sokolovsky
2015-07-02toolchain-tools: Use "stubborn_do" for couple more mirrors.Paul Sokolovsky
2015-07-02toolchain-tools: new2_gcc: Retry git fetch on transient failure.Paul Sokolovsky
2015-06-28Revert "Log the errors of new2_gcc"Paul Sokolovsky
2015-06-26Log the errors of new2_gccMatt Hart
2015-05-31toolchain-tools: "New" gcc mirror is now "gcc.git".Paul Sokolovsky
2015-05-12toolchain-tools: Add --quiet for new gcc pull/push.Paul Sokolovsky
2015-05-12toolchain-tools: Make sure to mirror tags.Paul Sokolovsky
2015-05-12toolchain-tools: Switch new gcc repo to final location of toolchain/gcc-mirror.Paul Sokolovsky
2015-05-07toolchain-tools: Fix typo in var name.Paul Sokolovsky
2015-05-07toolchain-tools: Typo fix.Paul Sokolovsky
2015-05-07toolchain-tools: Implement new, simplified gcc upstream mirroring.Paul Sokolovsky
2015-05-07toolchain-tools: grokmirror: Update for deprecation of gcc-new.gitPaul Sokolovsky
2015-04-06grok improvementsAndy Doan
2015-03-26grok keep newlib updated in manifestAndy Doan
2015-03-24toolchain/grok: use local timestamp for grok manifestAndy Doan
2015-03-24Revoke the destructive git remote prune callsMatt Hart
2015-03-23Add prune to git remote callsMatt Hart
2015-03-20toolchain-tools: Provide useful logging when any git command exits non-zeroMatt Hart
2015-03-20toolchain-mirror: update grok manifestAndy Doan
2014-10-27toolchain-tools: Update wiki link.Paul Sokolovsky
2014-08-29toolchain-tools: Fix path to local mirror.Milo Casagrande
2014-08-28toolchain-tools: Add function for new gcc mirror.Milo Casagrande
2014-07-22toolchain-tools: Suppress output.Milo Casagrande
2014-07-22toolchain-tools: Add mirror for dejagnu.Milo Casagrande
2014-05-06Fix toolchain mirroring script.Milo Casagrande
2014-04-25Add gcc 4.9 branch.Milo Casagrande
2014-03-11Make script executable.Milo Casagrande
2014-03-11Add toolchain-tools script.Milo Casagrande