rendered paste body--- 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