Juan I Carrano
d505b01d71
Merge pull request #10568 from smlng/pr/make/docker
...
makefiles/docker: fix mounting localtime on OSX
2018-12-07 15:52:17 +01:00
Sebastian Meiling
cae865e71e
make/docker: adapt mount of localtime
...
Mounting `/etc/localtime` directly does not work on macOS (anymore).
However, by resolving the symlink to its real path docker can handle
the mount.
2018-12-07 14:00:19 +01:00
smlng
ae5608ab7f
make: use abspath for worktree mount in docker
2018-12-05 20:28:12 +01:00
Gaëtan Harter
61a3e5d685
makefiles/docker.inc.mk: handle building in git worktree
...
When building from a worktree, the common git directory was not mounted
in docker.
This lead to the version not being set and issues with git-cache in
ubuntu bionic that could not execute the 'git hash-object' command.
2018-10-30 19:21:12 +01:00
Gaëtan Harter
c60324744c
docker: Use system GIT_CACHE_DIR if available
...
If GIT_CACHE_DIR is a directory make it available to docker.
This will allow using the system git_cache also in the docker container.
2018-10-23 15:01:43 +02:00
Gaëtan Harter
eab9757d62
makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker
...
The variable was not given to docker before and as it is setting
'RIOT_VERSION_OVERRIDE=buildtest' it helps testing in docker more
consistently.
2018-09-06 16:52:43 +02:00
Gaëtan Harter
e5c49aa486
makefiles/docker.inc.mk: allow overwriting 'docker' command
...
Not all users register their user in the docker group and should not run the
whole make process as root to use docker.
They can now overwrite DOCKER with `DOCKER="sudo docker"`.
Creating files as a user is correctly handled as `id -u` is still run as the
original user.
2018-07-26 14:30:39 +02:00
61f1b941ce
make: replace curly braces with parenthesis
2018-03-22 20:43:15 +01:00
fd1b0bdea5
makefiles: docker: make docker call non-interactive
...
prevents "the input device is not a TTY"
2017-11-13 12:34:51 +01:00
Joakim Nohlgård
339a4da9dc
Makefiles: move to new directory /makefiles
2017-04-04 15:11:54 +02:00
