1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 10:12:45 +01:00

makefiles/scan-build: make RIOT_CI_BUILD visible to scan-build

This is required to have reference builds context using the right
RIOT_VERSION_OVERRIDE=buildtest.
This commit is contained in:
Gaëtan Harter 2018-11-14 13:01:09 +01:00
parent 83ca890ef7
commit bba88065ac
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B

View File

@ -27,6 +27,7 @@ SCANBUILD_ENV_VARS := \
QUIET \
WERROR \
RIOT_VERSION \
RIOT_CI_BUILD \
SIZE \
TOOLCHAIN \
UNDEF \