diff SCRIPTS/process.sh @ 100:793467b5e61c

Don't use subrepos, they're too fragile. Just use a list of repos and a script instead.
author Chris Cannam
date Fri, 04 Sep 2015 12:01:02 +0100
parents e24202b02c69
children 7d236368c613
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Wed Aug 12 16:05:17 2015 +0100
+++ b/SCRIPTS/process.sh	Fri Sep 04 12:01:02 2015 +0100
@@ -162,7 +162,7 @@
 
 plugindirs="$@"
 if [ -z "$plugindirs" ]; then
-    plugindirs=$(cat .hgsub | grep -v vamp-plugin-sdk | grep -v vamp-plugin-tester | awk '{ print $1; }')
+    plugindirs=$(cat METADATA/repos.txt | grep -v vamp-plugin-sdk | grep -v vamp-plugin-tester | awk '{ print $1; }')
 else 
     for dir in $plugindirs ; do
 	if [ ! -d "$dir" ]; then