 Karsten Böddeker
|
924aeb81b1
docker-build.sh: add SITE und SITE_ID, to docker run command
|
9 years ago |
 Helge Jung
|
de45d0913c
allow the MAKEJOBS environment variable to specified for docker, too
|
9 years ago |
|
Helge Jung
|
dceedff3b6
add/specify LICENSE
|
9 years ago |
|
Helge Jung
|
54c93f2c56
docker: use ffpb/build repo on hub
|
9 years ago |
|
Helge Jung
|
af06fd8857
forward TARGETS into container, too
|
9 years ago |
|
Helge Jung
|
37b2d7de74
docker: ensure git-config is set up properly
|
9 years ago |
|
Helge Jung
|
3445f76a97
docker: create build-user with home directory in the container
|
9 years ago |
|
Helge Jung
|
2fca9e79a3
rework docker build environment
|
9 years ago |
