diff options
-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 |