diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/scripts/webrev.ksh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/make/scripts/webrev.ksh b/make/scripts/webrev.ksh index 3839b74..d36e62b 100644 --- a/make/scripts/webrev.ksh +++ b/make/scripts/webrev.ksh @@ -2704,11 +2704,11 @@ do rm -f $WDIR/$DIR/$F.html its_a_jar= - if expr $F : '.*\.jar' >/dev/null; then + if expr $F : '.*\.jar' \| $F : '.*\.zip' >/dev/null; then its_a_jar=1 - # It's a JAR file, let's do it differntly + # It's a JAR or ZIP file, let's do it differently if [[ -z $JAR ]]; then - print "No access to jar, so can't produce diffs for jar files" + print "No access to jar, so can't produce diffs for jar or zip files" else if [ -f $ofile ]; then $JAR -tvf $ofile >"$ofile".lst |