From 778ca2d714ceb00b84e5abf7620207519f044766 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Sun, 15 Jan 2012 11:10:53 -0500 Subject: [PATCH] fixed name, seemingly again? hmmm. --- scripts/rev_control/getme.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/rev_control/getme.sh b/scripts/rev_control/getme.sh index eaaf7d28..0b13373a 100644 --- a/scripts/rev_control/getme.sh +++ b/scripts/rev_control/getme.sh @@ -39,7 +39,7 @@ function checkout_list { list=$* for i in $list; do #this list should be part of the configuration file, not part of script. - for j in $i/feisty_meow $i/hoople $i/hoople2 $i/quartz $i/web $i/yeti $i/xsede/xsede_tests $i/xsede/code/cak0l/trunk ; do + for j in $i/feisty_meow $i/hoople1 $i/hoople2 $i/quartz $i/web $i/yeti $i/xsede/xsede_tests $i/xsede/code/cak0l/trunk ; do if [ ! -d $j ]; then # echo no directory called $j exists continue -- 2.34.1