diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk index 6419ab26ee260e22e82de5b3b5a5c7c3178a9a7e..e3753bdbab55ae42801819dfce92130913447772 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' \