mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-15 12:51:00 +02:00
Merge c242fa5be3 into merged_master (Bitcoin PR bitcoin/bitcoin#31858)
This commit is contained in:
commit
ba19ec7816
1 changed files with 1 additions and 1 deletions
|
|
@ -91,7 +91,7 @@ def check_all_filenames(files) -> int:
|
|||
for filename in filenames:
|
||||
if not filename_regex.match(filename):
|
||||
print(
|
||||
f"""File {repr(filename)} does not not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
|
||||
f"""File {repr(filename)} does not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
|
||||
)
|
||||
failed_tests += 1
|
||||
return failed_tests
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue