print skipped file names to stdout

Signed-off-by: Pengyu Lv <pengyu.lv@arm.com>
This commit is contained in:
Pengyu Lv 2023-02-10 10:55:29 +08:00
parent acbeb7fa30
commit a4e1eece3d

View file

@ -33,15 +33,12 @@ CHECK_GENERATED_FILES = "tests/scripts/check-generated-files.sh"
def print_err(*args):
print("Error: ", *args, file=sys.stderr)
def print_warn(*args):
print("Warn:", *args, file=sys.stderr)
# Print the file names that will be skipped and the help message
def print_skip(files_to_skip):
print()
print(*files_to_skip, sep=", SKIP\n", end=", SKIP\n")
print_warn("The listed files will be skipped because\n"
"they are not included in the default list.")
print("Warn: The listed files will be skipped because\n"
"they are not included in the default list.")
print()
# Match FILENAME(s) in "check SCRIPT (FILENAME...)"