diff options
| author | Jan Holesovsky <kendy@suse.cz> | 2012-01-25 12:34:56 +0100 |
|---|---|---|
| committer | Jan Holesovsky <kendy@suse.cz> | 2012-01-25 12:35:54 +0100 |
| commit | 1195d989d454a96e3b9fb0c0b6053db61b68f0b1 (patch) | |
| tree | 4b31a0442d2efabbc56cc7a7e9e798eba029a6ec | |
| parent | 315d2ddc161e4b296febe9e54c3cfc9270310bfe (diff) | |
Allow killing 'make docs' by Ctrl-c.
| -rwxr-xr-x | solenv/bin/mkdocs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/solenv/bin/mkdocs.sh b/solenv/bin/mkdocs.sh index 1112b0fa79e1..dbf4c4691afc 100755 --- a/solenv/bin/mkdocs.sh +++ b/solenv/bin/mkdocs.sh @@ -89,7 +89,7 @@ do echo "Ref-Tags: $DOXYGEN_REF_TAGFILES" echo "Title: $DOXYGEN_PROJECTNAME" - nice -15 doxygen "$DOXYGEN_CFG" + nice -15 doxygen "$DOXYGEN_CFG" || exit 1 # setup referenced tagfiles for next round DOXYGEN_REF_TAGFILES="$DOXYGEN_REF_TAGFILES $DOXYGEN_OUR_TAGFILE=$BASE_URL/$PROJECT/html" |