--- openmoko/trunk/src/host/devirginator/setup.sh~      2007-08-28 21:02:26.000000000 +0930
+++ openmoko/trunk/src/host/devirginator/setup.sh       2007-08-28 21:12:51.000000000 +0930
@@ -45,8 +45,8 @@
     index=tmp/index-${SNAPSHOT}.html
     rm -f $index
     wget -O $index "`dirname \"$2\"`/"
-    n="`basename \"$2\" | sed 's/*/[-a-zA-Z0-9_.]*/g'`"
-    sed '/^.*[^-a-zA-Z0-9_.]\('"$n"'\)[^-a-zA-Z0-9_.].*$/s//\1/p;d' \
+    n="`basename \"$2\" | sed 's/*/[-a-zA-Z0-9_.+]*/g'`"
+    sed '/^.*[^-a-zA-Z0-9_.+]\('"$n"'\)[^-a-zA-Z0-9_.+].*$/s//\1/p;d' \
       <$index >tmp/files
     case `grep -c '' tmp/files`  in
        0)      echo "not found: $2" 1>&2