From fd1b0bdea524066ecc057c628bc1517b603339da Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Mon, 13 Nov 2017 12:34:51 +0100
Subject: [PATCH] makefiles: docker: make docker call non-interactive
prevents "the input device is not a TTY"
---
makefiles/docker.inc.mk | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk
index 6419ab26ee..e3753bdbab 100644
--- a/makefiles/docker.inc.mk
+++ b/makefiles/docker.inc.mk
@@ -88,7 +88,7 @@ DOCKER_OVERRIDE_CMDLINE := $(strip $(DOCKER_OVERRIDE_CMDLINE))
# hardware which may not be reachable from inside the container.
..in-docker-container:
@$(COLOR_ECHO) '${COLOR_GREEN}Launching build container using image "$(DOCKER_IMAGE)".${COLOR_RESET}'
- docker run $(DOCKER_FLAGS) -i -t -u "$$(id -u)" \
+ docker run $(DOCKER_FLAGS) -t -u "$$(id -u)" \
-v '$(RIOTBASE):$(DOCKER_BUILD_ROOT)/riotbase' \
-v '$(RIOTCPU):$(DOCKER_BUILD_ROOT)/riotcpu' \
-v '$(RIOTBOARD):$(DOCKER_BUILD_ROOT)/riotboard' \
--
GitLab