1.1 --- a/make/scripts/webrev.ksh Thu Oct 03 11:26:11 2013 +0200
1.2 +++ b/make/scripts/webrev.ksh Mon Oct 07 13:11:40 2013 +0200
1.3 @@ -2704,11 +2704,11 @@
1.4 rm -f $WDIR/$DIR/$F.html
1.5
1.6 its_a_jar=
1.7 - if expr $F : '.*\.jar' >/dev/null; then
1.8 + if expr $F : '.*\.jar' \| $F : '.*\.zip' >/dev/null; then
1.9 its_a_jar=1
1.10 - # It's a JAR file, let's do it differntly
1.11 + # It's a JAR or ZIP file, let's do it differently
1.12 if [[ -z $JAR ]]; then
1.13 - print "No access to jar, so can't produce diffs for jar files"
1.14 + print "No access to jar, so can't produce diffs for jar or zip files"
1.15 else
1.16 if [ -f $ofile ]; then
1.17 $JAR -tvf $ofile >"$ofile".lst
