 Yao Wei Tjong 姚伟忠
|
fbcac184da
Combine ccache_dir and home_dir into a single docker volume.
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
71ed76ece0
Fallback workaround on older Docker CLI version.
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
a2dad539fd
Add Docker CLI version check.
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
c4da0fa54c
Mount a docker volume as urho3d's home dir.
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
b87cbc72cb
Allow base image to be run also (unsupported feature).
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
f1d6cbd3c5
Replace 'grep -Pzo' as Trusty's grep version is too old.
|
7 years ago |
|
Yao Wei Tjong 姚伟忠
|
434dcafb9a
New script for running dockerized build environment.
|
7 years ago |
