re: #5167 did you mean to move the

ENV

line to

build-support/docker/travis_ci/Dockerfile

? I meant e.g.

docker run ... -e PANTS_ARG="x" ...