Update copyright_check.py

Add `%` as a valid comment starter.
model-checking · Sep 4, 2024 · eb64bf4 · eb64bf4
1 parent d51ddfe
commit eb64bf4
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/scripts/ci/copyright_check.py b/scripts/ci/copyright_check.py
@@ -8,15 +8,15 @@
 from itertools import chain
 
 
-COMMENT_OR_EMPTY_PATTERN = '^(//.*$|#.*$|\\s*$)'
+COMMENT_OR_EMPTY_PATTERN = '^(//.*$|#.*$|\\s*$||%.*$)'
 
-STANDARD_HEADER_PATTERN_1 = '(//|#) Copyright Kani Contributors'
-STANDARD_HEADER_PATTERN_2 = '(//|#) SPDX-License-Identifier: Apache-2.0 OR MIT'
+STANDARD_HEADER_PATTERN_1 = '(//|#|%) Copyright Kani Contributors'
+STANDARD_HEADER_PATTERN_2 = '(//|#|%) SPDX-License-Identifier: Apache-2.0 OR MIT'
 
-MODIFIED_HEADER_PATTERN_1 = '(//|#) SPDX-License-Identifier: Apache-2.0 OR MIT'
+MODIFIED_HEADER_PATTERN_1 = '(//|#|%) SPDX-License-Identifier: Apache-2.0 OR MIT'
 MODIFIED_HEADER_PATTERN_2 = COMMENT_OR_EMPTY_PATTERN
-MODIFIED_HEADER_PATTERN_3 = '(//|#) Modifications Copyright Kani Contributors'
-MODIFIED_HEADER_PATTERN_4 = '(//|#) See GitHub history for details.'
+MODIFIED_HEADER_PATTERN_3 = '(//|#|%) Modifications Copyright Kani Contributors'
+MODIFIED_HEADER_PATTERN_4 = '(//|#|%) See GitHub history for details.'
 
 class CheckResult(Enum):
     FAIL = 1