From a60db99092c7c8c1db3ee65fffd6f5f1262a23a8 Mon Sep 17 00:00:00 2001 From: ZhangJianyu Date: Thu, 7 Nov 2024 18:07:36 +0800 Subject: [PATCH] debug --- scripts/filter-doc-log.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/scripts/filter-doc-log.sh b/scripts/filter-doc-log.sh index 4e549288..b1508b2a 100755 --- a/scripts/filter-doc-log.sh +++ b/scripts/filter-doc-log.sh @@ -33,8 +33,7 @@ fi if [ -s "${LOG_FILE}" ]; then echo "run $KI_SCRIPT" - python -V - $KI_SCRIPT --config-dir ${CONFIG_DIR} ${LOG_FILE} -o ${BUILDDIR}/doc.warnings 2>&1 + $KI_SCRIPT --config-dir ${CONFIG_DIR} ${LOG_FILE} -o ${BUILDDIR}/doc.warnings if [ -s ${BUILDDIR}/doc.warnings ]; then echo echo -e "${red}New errors/warnings found, please fix them:"