From 3693b3e8c9c2e122977e509f45a7174fbac6a767 Mon Sep 17 00:00:00 2001 From: Paul Bartell Date: Thu, 18 Aug 2022 11:24:11 -0700 Subject: [PATCH] Fix header checker when copyright regex is None (#843) Allow header_checker.py to work as it did before when no copyright regex is defined. --- .github/scripts/common/header_checker.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/scripts/common/header_checker.py b/.github/scripts/common/header_checker.py index e84ffed91..26942ab17 100755 --- a/.github/scripts/common/header_checker.py +++ b/.github/scripts/common/header_checker.py @@ -72,7 +72,10 @@ class HeaderChecker: self.padding = padding self.header = header - self.copyright_regex = re.compile(copyright_regex) + if copyright_regex: + self.copyright_regex = re.compile(copyright_regex) + else: + self.copyright_regex = None # Construct mutated header for assembly files self.asm_header = [";" + line for line in header]