diff options
| author | Campbell Barton <ideasman42@gmail.com> | 2016-02-27 20:24:22 +0300 |
|---|---|---|
| committer | Campbell Barton <ideasman42@gmail.com> | 2016-02-27 20:25:11 +0300 |
| commit | 3091935fec9cb89fa8ffbd48ff8ea2f5ff8687f1 (patch) | |
| tree | 17007c4e6aaf40caba41144f1d28bf464402d900 /doc | |
| parent | c3a408938ddd3000c4eaa8a1ac98cd684bcc31ef (diff) | |
Docs: early exist build process on error
Don't attempt to build docs when generation fails.
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/python_api/sphinx_doc_gen.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_gen.sh b/doc/python_api/sphinx_doc_gen.sh index 8f1791d2195..697cd5a9b3f 100755 --- a/doc/python_api/sphinx_doc_gen.sh +++ b/doc/python_api/sphinx_doc_gen.sh @@ -54,7 +54,17 @@ SPHINXBASE=doc/python_api if $DO_EXE_BLENDER ; then # dont delete existing docs, now partial updates are used for quick builds. - $BLENDER_BIN --background -noaudio --factory-startup --python $SPHINXBASE/sphinx_doc_gen.py + $BLENDER_BIN \ + --background \ + -noaudio \ + --factory-startup \ + --python-exit-code 1 \ + --python $SPHINXBASE/sphinx_doc_gen.py + + if (($? == 1)) ; then + echo "Generating documentation failed, aborting" + exit 1 + fi fi |