summaryrefslogtreecommitdiff
path: root/tools/jenkins-build.sh
Commit message (Collapse)AuthorAgeFilesLines
* jenkins-build: add arm-riscos-gnueabiJohn-Mark Bell2023-03-051-1/+23
|
* split tools and utilsVincent Sanders2020-06-271-0/+486