From e7d8bee8b883d4ab30ecac474c0c56fd47441432 Mon Sep 17 00:00:00 2001 From: ZhangJianyu Date: Thu, 7 Nov 2024 18:13:09 +0800 Subject: [PATCH] debug --- scripts/filter-doc-log.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/filter-doc-log.sh b/scripts/filter-doc-log.sh index b1508b2a..7c8a49bb 100755 --- a/scripts/filter-doc-log.sh +++ b/scripts/filter-doc-log.sh @@ -33,6 +33,8 @@ fi if [ -s "${LOG_FILE}" ]; then echo "run $KI_SCRIPT" + ls -la + ls -la .known-issues $KI_SCRIPT --config-dir ${CONFIG_DIR} ${LOG_FILE} -o ${BUILDDIR}/doc.warnings if [ -s ${BUILDDIR}/doc.warnings ]; then echo