# HG changeset patch
# User Chris Cannam
# Date 1549547356 0
# Node ID 44cbe9fa0b4ee39fdfcbd5196a3ec6cd774bcde4
# Parent  808a40a7cac71427159d4892a289d7bd3f6c50ff# Parent  76f8f0814e1eeadef4d8971dffe94c724c74f6a1
Merge

diff -r 808a40a7cac7 -r 44cbe9fa0b4e extra/soundsoftware/extract-docs.sh
--- a/extra/soundsoftware/extract-docs.sh	Thu Feb 07 13:48:00 2019 +0000
+++ b/extra/soundsoftware/extract-docs.sh	Thu Feb 07 13:49:16 2019 +0000
@@ -84,7 +84,7 @@
 
     if [ -d "$projectdir" ] && [ -d "$projectdir/.hg" ]; then
 
-	if ! sudo -u www-data hg -R "$projectdir" -q update; then
+	if ! sudo -u www-data hg -R "$projectdir" -q update --check; then
 	    echo "Failed to update Hg in $projectdir, skipping" 1>&2
 	    continue
 	fi