diff options
| author | Gautham Pai <buzypi@gmail.com> | 2011-12-30 01:14:46 +0400 |
|---|---|---|
| committer | isaacs <i@izs.me> | 2012-01-06 11:59:12 +0400 |
| commit | a98dc51d3fe3138e3d5007f3141eb0c3aacc7d5f (patch) | |
| tree | 1ca622e63d382861ba943b390cf41573799fb050 /scripts | |
| parent | 326259363d468cc9a5163eaa0be9dcf6d2309871 (diff) | |
Fix hang on `make doc` when earlier attempt fails
Fixing the issue where the script hangs forever when a previous make
had failed and the script is re-run.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/doc-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/doc-build.sh b/scripts/doc-build.sh index 6c32ea183..d1ece59f6 100755 --- a/scripts/doc-build.sh +++ b/scripts/doc-build.sh @@ -7,7 +7,7 @@ set -o errexit set -o pipefail if ! [ -x node_modules/.bin/ronn ]; then - if [ -f .building_ronn ]; then + if [ -f .building_ronn -a $(ps --no-headers -p $(cat .building_ronn) 2> /dev/null | wc -l) != 0 ]; then while [ -f .building_ronn ]; do sleep 1 done @@ -68,4 +68,4 @@ case $dest in echo "Invalid destination type: $dest" >&2 exit 1 ;; -esac +esac
\ No newline at end of file |