Commit Graph

3 Commits

Author SHA1 Message Date
Hay1tsme
9e78d7fbc3 update docker build system 2023-02-12 20:45:13 -05:00
59edd71bb2 remove image after compile to save space 2022-12-10 21:50:11 -05:00
icex2
12ee51d198 Add docker-build.bat for building on Windows with Docker Desktop
Initial contribution by Vincent Kocks. Script simplified to fit the
new build setup with a common build/ folder. Build folder can
be deleted on every invocation because it will just be copied
from the docker container anyway.

Co-authored-by: Vincent Kocks <engineering@vingenuity.net>
2021-05-28 22:40:04 +02:00