From 971b1acdb235259fa85460a679a0afdf47f90fc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 12 Sep 2019 12:34:30 +0200
Subject: [PATCH] makefiles/docker.inc.mk: add PROGRAMMER to the exported
 variables

Depending on the PROGRAMMER used, the file used for flashing may be
different, like openocd/jlink, so the file being generated when
compiling should be different.

Because of this, when building in docker, the build system needs to know
for which programmer you are building for.

This manifested for 'nordic_softdevice' applications when using 'openocd'
but is not limited to this case.
---
 makefiles/docker.inc.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk
index 77a77a1aad..4ca94e0254 100644
--- a/makefiles/docker.inc.mk
+++ b/makefiles/docker.inc.mk
@@ -57,6 +57,7 @@ export DOCKER_ENV_VARS += \
   PREFIX \
   QUIET \
   WERROR \
+  PROGRAMMER \
   RIOT_CI_BUILD \
   RIOT_VERSION \
   SCANBUILD_ARGS \