fixed name, seemingly again? hmmm.

diff --git a/scripts/rev_control/getme.sh b/scripts/rev_control/getme.sh
index eaaf7d284076ee5d19d11ae88b58f5f68f1b9cd3..0b13373a8388bff45e1063591785130d9a11e3e6 100644 (file)
--- 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