diff --git a/tools/weboob_lint.sh b/tools/weboob_lint.sh index 44e1679d24e9c8a68d65140187f9b0ae5a3916d4..95856e11ab5d09ee69f5b810432eb6478d397900 100755 --- a/tools/weboob_lint.sh +++ b/tools/weboob_lint.sh @@ -20,6 +20,7 @@ echo "file://$WEBOOB_DIR/modules" > "${WEBOOB_TMPDIR}/sources.list" export WEBOOB_WORKDIR="${WEBOOB_TMPDIR}" export WEBOOB_DATADIR="${WEBOOB_TMPDIR}" export PYTHONPATH="${WEBOOB_DIR}" +set +e $PYTHON "${WEBOOB_DIR}/scripts/weboob-config" update $PYTHON "${WEBOOB_DIR}/tools/weboob_lint.py"