Commit History

Author SHA1 Message Date
  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