# HG changeset patch
# User Chris Cannam
# Date 1533913685 -3600
# Node ID 76f8f0814e1eeadef4d8971dffe94c724c74f6a1
# Parent  8bc0cee5d93f573f9dd9c552f664fc93f25f9dc0
Use --check to avoid errors when updating in repos with more than one head

diff -r 8bc0cee5d93f -r 76f8f0814e1e extra/soundsoftware/extract-docs.sh
--- a/extra/soundsoftware/extract-docs.sh	Fri Aug 10 12:21:05 2018 +0100
+++ b/extra/soundsoftware/extract-docs.sh	Fri Aug 10 16:08:05 2018 +0100
@@ -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