4 commits

Author	SHA1	Message	Date
Jordan Petridis	e1d7b721e0	docker: improve logging of the setup scripts	2019-09-23 10:54:40 +00:00
Matthew Waters	497415544b	docker: add android-specific image ... pre-includes the NDK/SDK	2019-03-26 04:00:57 +00:00
Xavier Claessens	791757de6c	Rename 'android' docker image back to 'ubuntu' ... There is no point in doing a different docker image for each build we are going to do inside an Ubuntu distro. We can later use the same image for native ubuntu builds, or other cross builds (e.g. android API 21, etc).	2018-12-13 17:08:16 +00:00
Jordan Petridis	f085d34a32	docker: Move android into a unified image	2018-11-27 16:07:57 +02:00