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

1.1 KiB

Executable File

Raw Blame History

View Raw