about summary refs log tree commit diff
path: root/src/ci/scripts/install-ninja.sh
AgeCommit message (Expand)AuthorLines
2019-10-25ci: reuse the mirrors base url from shared.sh in scriptsPietro Albini-2/+1
2019-10-25ci: fix tidyPietro Albini-1/+2
2019-10-25ci: extract installing ninja into a scriptPietro Albini-0/+16