diff options
| author | Pierre-Yves Rollo <dev@pyrollo.com> | 2019-06-21 02:43:59 +0200 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2019-06-21 01:46:00 +0100 |
| commit | 39c54e13c3ee3558f330f4d5716d8073b48de11a (patch) | |
| tree | 83338890c7b9d6a3e8c3753c15ded42c74688a4c /src/gamedef.h | |
| parent | e3738c2f61b4ebff97eadce88dda10c9a7610d3d (diff) | |
| download | minetest-39c54e13c3ee3558f330f4d5716d8073b48de11a.tar.gz minetest-39c54e13c3ee3558f330f4d5716d8073b48de11a.tar.bz2 minetest-39c54e13c3ee3558f330f4d5716d8073b48de11a.zip | |
Improve buildbot script
PR created under the employment of EvidenceBKidscode
* Variables to set git repositories urls (allows to build from another repo)
* Variables to set git branch to build from (allows to build from non-master branch)
* Variables to change built name
* Make -j uses the proper number of processors (autodetect)
* Changed toolchain from win32 to adpat it to non-debian distros
Diffstat (limited to 'src/gamedef.h')
0 files changed, 0 insertions, 0 deletions