changeset 84:3308317239fe

Handle git subrepos
author Chris Cannam
date Wed, 07 Jan 2015 09:59:18 +0000
parents 6ec718f3f42c
children 5936362b8a40
files SCRIPTS/update-all.sh
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/update-all.sh	Wed Jan 07 09:47:53 2015 +0000
+++ b/SCRIPTS/update-all.sh	Wed Jan 07 09:59:18 2015 +0000
@@ -3,8 +3,10 @@
 # Run this from the top-level vamp-build-and-test directory
 
 cat .hgsub | awk '{ print $1 }' | while read x; do
-    if [ -d "$x" ]; then 
+    if [ -d "$x"/.hg ]; then 
 	( cd $x ; hg pull && hg update )
+    elif [ -d "$x"/.git ]; then 
+	( cd $x ; git pull )
     else 
 	url=$(grep "^$x " .hgsub | awk '{ print $3; }')
 	hg clone "$url" "$x"