changeset 112:1c02f4e7876e

Report missing directories
author Chris Cannam
date Tue, 08 Sep 2015 17:20:59 +0100
parents a4994dae8315
children b107ed308636
files SCRIPTS/check-changes.sh
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/check-changes.sh	Tue Sep 08 17:08:58 2015 +0100
+++ b/SCRIPTS/check-changes.sh	Tue Sep 08 17:20:59 2015 +0100
@@ -11,8 +11,9 @@
 
 cat METADATA/repos.txt | grep -v '^#' | awk -F= '{ print $1 }' |
     while read name; do
-	( cd "$name"
-	  if [ -d .hg ]; then
+	( if ! cd "$name" 2>/dev/null; then
+              echo "$name: missing"
+          elif [ -d .hg ]; then
 	      nchanged=$(hg st -dram | wc -l | awk '{ print $1; }')
 	      phase=$(hg phase . | awk '{ print $2; }')
 	      if [ "$nchanged" != "0" ]; then