3 Commits

Author	SHA1	Message	Date
Hay1tsme	9e78d7fbc3	update docker build system	2023-02-12 20:45:13 -05:00
Kevin Trocolli	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