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
