diff --git a/Makefile.work b/Makefile.work index 323d05f027..738c471269 100644 --- a/Makefile.work +++ b/Makefile.work @@ -105,7 +105,7 @@ DOCKER_RUN := docker run --rm=true --privileged \ -w $(DOCKER_BUILDER_WORKDIR) \ -e "http_proxy=$(http_proxy)" \ -e "https_proxy=$(https_proxy)" \ - -i$(if $(TERM),t,) + -i$(shell { if [ -t 0 ]; then echo t; fi }) include rules/config