diff options
| -rwxr-xr-x | utils/check-package | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/check-package b/utils/check-package index 8d10affabd..48ce956443 100755 --- a/utils/check-package +++ b/utils/check-package @@ -47,10 +47,12 @@ def parse_args(): CONFIG_IN_FILENAME = re.compile("/Config\.\S*$") DO_CHECK_INTREE = re.compile("|".join([ "arch/", + "boot/", "package/", "system/", ])) DO_NOT_CHECK_INTREE = re.compile("|".join([ + "boot/barebox/barebox\.mk$", "package/doc-asciidoc\.mk$", "package/pkg-\S*\.mk$", ])) |
