Skip to content

Commit 1748b3c

Browse files
committed
_tools/pre_push_check.sh -> one condition reduced
1 parent e776971 commit 1748b3c

1 file changed

Lines changed: 11 additions & 1 deletion

File tree

‎_tools/pre_push_check.sh‎

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -260,10 +260,20 @@ if $RUN_FULL; then
260260
cp -r "$REPO_ROOT/." "$LOCALE_DIR/"
261261
rm -rf "$LOCALE_DIR/.git" "$LOCALE_DIR/.venv"
262262

263+
# Dieselben Optionen wie test-build.yml. i18n.inconsistent_references
264+
# wird unterdrueckt: Sphinx meldet das, wenn ein uebersetzter benannter
265+
# Verweis nicht mehr denselben Zielnamen traegt wie das Original. Die
266+
# Sprungziele hakt Sphinx selbst positionsweise wieder richtig ein, die
267+
# Warnung ist also gegenstandslos -- mit -W wuerde sie den Build
268+
# abbrechen.
269+
SPHINX_OPTS="--color -D language='de'"
270+
SPHINX_OPTS+=" -D suppress_warnings=i18n.inconsistent_references"
271+
SPHINX_OPTS+=" -W --keep-going"
272+
263273
echo "Starte 'make html' mit -W --keep-going (wie CI) ..."
264274
BUILD_LOG=$(mktemp)
265275
(cd "$CPYTHON_SRC/Doc" && \
266-
make -e SPHINXOPTS="--color -D language='de' -W --keep-going" html \
276+
make -e SPHINXOPTS="$SPHINX_OPTS" html \
267277
> "$BUILD_LOG" 2>&1)
268278
build_status=$?
269279

0 commit comments

Comments
 (0)