Merge pull request #9895 from cladmi/pr/docker/add_riot_ci_build

makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker
RIOT-OS · Sep 6, 2018 · 8d1d509 · 8d1d509
2 parents f0cf15e + eab9757
commit 8d1d509
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk
@@ -53,6 +53,7 @@ export DOCKER_ENV_VARS = \
   PREFIX \
   QUIET \
   WERROR \
+  RIOT_CI_BUILD \
   RIOT_VERSION \
   SCANBUILD_ARGS \
   SCANBUILD_OUTPUTDIR \