1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-15 01:23:49 +01:00

Merge pull request #12207 from cladmi/pr/docker/programmer

makefiles/docker.inc.mk: add PROGRAMMER to the exported variables
This commit is contained in:
Juan I Carrano 2019-09-12 16:45:36 +02:00 committed by GitHub
commit 7364c913ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -57,6 +57,7 @@ export DOCKER_ENV_VARS += \
PREFIX \
QUIET \
WERROR \
PROGRAMMER \
RIOT_CI_BUILD \
RIOT_VERSION \
SCANBUILD_ARGS \