From eab9757d6244e467a3ac4d157ac9c324878f1d67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 6 Sep 2018 16:40:14 +0200
Subject: [PATCH] makefiles/docker.inc.mk: export RIOT_CI_BUILD to docker

The variable was not given to docker before and as it is setting
'RIOT_VERSION_OVERRIDE=buildtest' it helps testing in docker more
consistently.
---
 makefiles/docker.inc.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk
index 488c901b93..372955c2eb 100644
--- 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 \