changeset 1626:44cbe9fa0b4e live

Merge
author Chris Cannam
date Thu, 07 Feb 2019 13:49:16 +0000
parents 808a40a7cac7 (current diff) 76f8f0814e1e (diff)
children 7e2de1c811b3
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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