Lee Miller fb3dae6197 Move toolchain installation into Dockerfile: ... break the big make step into several ones. Make also a factory world. Extra packages are made in the build.sh.		2023-01-12 02:03:07 +02:00
..
Dockerfile	Move toolchain installation into Dockerfile:	2023-01-12 02:03:07 +02:00
build.sh	Move toolchain installation into Dockerfile:	2023-01-12 02:03:07 +02:00