diff options
author | Bensuperpc <bensuperpc@gmail.com> | 2021-06-21 19:55:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-21 18:55:38 +0100 |
commit | 4b9a51ff0d9d546916f09197b64b5da295027d35 (patch) | |
tree | 11da4dc8ffe8fd9b4e458fd9fac7a179ece7d322 /build/android | |
parent | b28523bf3894cb8311a62edddde73e755d0b8dd4 (diff) | |
download | minetest-4b9a51ff0d9d546916f09197b64b5da295027d35.tar.gz minetest-4b9a51ff0d9d546916f09197b64b5da295027d35.tar.bz2 minetest-4b9a51ff0d9d546916f09197b64b5da295027d35.zip |
Update Dockerfile and improve build speed (#11313)
Use ninja to build image, rename docker build steps: builder and runtime, add argument for docker image version
Signed-off-by: Bensuperpc <bensuperpc@gmail.com>
Diffstat (limited to 'build/android')
0 files changed, 0 insertions, 0 deletions