summaryrefslogtreecommitdiffstats
path: root/jenkinsbuild.sh (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-02-24Create build script for Jenkins (and use it) (#4473)Alexander Harkness1-0/+84
* Add Jenkins build script, so it can actually be used. * Build tools * Reduce build threads to 2 so as not to overload server * Rename CIBuild.sh to travisbuild.sh, better reflect actual use * Echo commands as they are executed * Add toolchain file configuration