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

makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker

Merge pull request #9895 from cladmi/pr/docker/add_riot_ci_build
8d1d509a · Kaspar Schleiser · GitHub · f0cf15ec · eab9757d · 8d1d509a
Unverified Commit 8d1d509a authored 6 years ago by Kaspar Schleiser Committed by GitHub 6 years ago
--- 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 \