From 868a98323a4bcefb5acb47da0ba82c07edf8f486 Mon Sep 17 00:00:00 2001 From: Bernhard Bablok Date: Wed, 21 Dec 2022 15:18:33 +0100 Subject: [PATCH] added comment for IGNORE_DIRS --- tools/ci_set_matrix.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py index 79ec5c7ace..77f58742cd 100755 --- a/tools/ci_set_matrix.py +++ b/tools/ci_set_matrix.py @@ -58,6 +58,7 @@ IGNORE = [ "tools/ci_check_duplicate_usb_vid_pid.py", ] +# Files in these directories never influence board builds IGNORE_DIRS = ["tests", "docs", ".devcontainer"] if len(sys.argv) > 1: @@ -151,7 +152,6 @@ def set_boards_to_build(build_all): if p in IGNORE: continue - # Boards don't run tests or docs so ignore those as well. if any([p.startswith(d) for d in IGNORE_DIRS]): continue