buildsystem_sanity_check: whitelist Vagrantfiles

Vagrantfiles are not part of our build-system so they should be ignored by its sanity check.
RIOT-OS · Aug 25, 2020 · 1d435de · 1d435de
1 parent f9e3c0f
commit 1d435de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dist/tools/buildsystem_sanity_check/check.sh b/dist/tools/buildsystem_sanity_check/check.sh
@@ -142,6 +142,7 @@ check_not_exporting_variables() {
     # only place that should export common variables
     pathspec+=('*')
     pathspec+=(':!makefiles/vars.inc.mk')
+    pathspec+=(':!**/Vagrantfile')
 
     patterns=()
     for variable in "${EXPORTED_VARIABLES_ONLY_IN_VARS[@]}"; do