make/scripts/webrev.ksh
changeset 20274 b76b26641346
parent 19754 76f369edc1ca
child 20637 3cf7db6a1586
--- a/make/scripts/webrev.ksh	Thu Oct 03 11:26:11 2013 +0200
+++ b/make/scripts/webrev.ksh	Mon Oct 07 13:11:40 2013 +0200
@@ -2704,11 +2704,11 @@
         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