remove whitespace

This commit is contained in:
Dan Halbert 2021-12-11 18:02:55 -05:00 committed by GitHub
parent cf826d33d1
commit c3a90e38f7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -85,11 +85,11 @@ def set_boards_to_build(build_all):
if port != "unix": if port != "unix":
boards_to_build.update(port_to_boards[port]) boards_to_build.update(port_to_boards[port])
continue continue
# Check the ignore list to see if the file isn't used on board builds. # Check the ignore list to see if the file isn't used on board builds.
if p in IGNORE: if p in IGNORE:
continue continue
# Boards don't run tests so ignore those as well. # Boards don't run tests so ignore those as well.
if p.startswith("tests"): if p.startswith("tests"):
continue continue