From eb5f9a9c204e239356e60eec9f1273b8d613aad0 Mon Sep 17 00:00:00 2001 From: ZhangJianyu Date: Thu, 7 Nov 2024 22:26:09 +0800 Subject: [PATCH] debug --- scripts/filter-doc-log.sh | 2 +- scripts/filter-known-issues.py | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/filter-doc-log.sh b/scripts/filter-doc-log.sh index 092cb553..cd97a471 100755 --- a/scripts/filter-doc-log.sh +++ b/scripts/filter-doc-log.sh @@ -9,7 +9,7 @@ # Only argument is the name of the log file saved by the build. KI_SCRIPT=scripts/filter-known-issues.py -CONFIG_DIR=known-issues/doc +CONFIG_DIR=known-issues/ LOG_FILE=$1 BUILDDIR=$(dirname $LOG_FILE) diff --git a/scripts/filter-known-issues.py b/scripts/filter-known-issues.py index 89e5cb62..f6ef8fb0 100755 --- a/scripts/filter-known-issues.py +++ b/scripts/filter-known-issues.py @@ -144,7 +144,7 @@ def config_import(paths): arg_parser.add_argument("-w", "--warnings", action="store", default=None, help="file where to store warnings") arg_parser.add_argument("-c", "--config-dir", action="append", nargs="?", - default=[".known-issues/"], + default=["known-issues/"], help="configuration directory (multiple can be " "given; if none given, clears the current list) " "%(default)s") @@ -157,6 +157,7 @@ def config_import(paths): path = "known-issues/" logging.debug("Reading configuration from directory `%s`", path) +print('args.config_dir', args.config_dir) config_import(args.config_dir) exclude_ranges = []