1
0
Commit Graph

1 Commits

Author SHA1 Message Date
Alexander Harkness
cfedb03a09
Create build script for Jenkins (and use it) (#4473)
* 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
2020-02-24 11:28:24 +00:00