RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
Code Releases Activity

Merge pull request #12209 from cladmi/pr/buildsystem_sanity_check/port_not_exported

Browse Source 
dist/tools/buildsystem_sanity_check: check no PORT exports
This commit is contained in:
Juan I Carrano 2019-09-12 16:39:07 +02:00 committed by GitHub
commit 6570a9b31f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dist/tools/buildsystem_sanity_check/check.sh vendored
View File

@ -78,6 +78,7 @@ UNEXPORTED_VARIABLES+=('DEBUG_ADAPTER' 'DEBUG_ADAPTER_ID')
UNEXPORTED_VARIABLES+=('PROGRAMMER_SERIAL')
UNEXPORTED_VARIABLES+=('STLINK_VERSION')
UNEXPORTED_VARIABLES+=('PORT_LINUX' 'PORT_DARWIN')
UNEXPORTED_VARIABLES+=('PORT[ ?=:]' 'PORT$')
EXPORTED_VARIABLES_ONLY_IN_VARS=()
check_not_exporting_variables() {