Skip to content

Commit 8282ef9

Browse files
authored
lint: disable exit in error when linting
1 parent 034a264 commit 8282ef9

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

scripts/lint.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,9 @@ make build ALLSPHINXOPTS="$opts"
2929
sphinx-intl update -p build/gettext -l ${PYDOC_LANGUAGE} > /dev/null
3030

3131
cd locales/${PYDOC_LANGUAGE}/LC_MESSAGES
32+
set +e
3233
sphinx-lint 2> $(realpath "$rootdir/logs/sphinxlint.txt")
34+
set -e
3335

3436
# Undo changes to undo literal blocks disabling
3537
git checkout .

0 commit comments

Comments
 (0)