4 Commits

Author	SHA1	Message	Date
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
Alexandre Abadie	61f1b941ce	make: replace curly braces with parenthesis	2018-03-22 20:43:15 +01:00
Kaspar Schleiser	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