diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-30 09:21:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-30 09:21:13 +0100 |
| commit | d5c6806e16c5d809c749b999ae91ae22dc25348e (patch) | |
| tree | 35bfaf1fcc657814a77a975150c6eb1721a90432 /tools/editor | |
| parent | 440c37fbd93eb26dd7da6c498ed39ca5f3fe7f7b (diff) | |
Travis: Disable Android builds for now
As we say in French, "Trop, c'est trop !".
Those builds fail 50% of the time due to timeouts, it's pointless to have them until we
find a better solution to install the Android SDK and NDK.
Workaround for #6973.
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions