Commit Graph

3 Commits

Author SHA1 Message Date
Hay1tsme
d34288f051 update docker build system 2023-02-13 03:08:41 -05:00
04ca905467 remove image after compile to save space 2023-02-13 03:08:40 -05:00
icex2
de829d3b8c 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