Skip to content

Commit

Permalink
debug
Browse files Browse the repository at this point in the history
  • Loading branch information
arthw committed Nov 7, 2024
1 parent a60db99 commit e7d8bee
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions scripts/filter-doc-log.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit e7d8bee

Please sign in to comment.