diff options
| author | Patric Stout <truebrain@openttd.org> | 2018-04-14 20:12:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-14 20:12:05 +0200 |
| commit | ae5628e903b3fa7b302ea1cae3456625e889d0af (patch) | |
| tree | ca37d19ce0161d6e16f83a3e351f8836095b1734 /Jenkinsfile | |
| parent | f06061aa3bb04eb8c4b38dd72413e0d8b95d9766 (diff) | |
| download | openttd-ae5628e903b3fa7b302ea1cae3456625e889d0af.tar.xz | |
Change: [Build] prioritize cc-build over build (based on patch by woutershep2) (#6716)
This closes #6414
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions