# HG changeset patch
# User thurka
# Date 1381144300 -7200
# Node ID 104c02d9c4232bdf70bc051670d4b45929957063
# Parent  6359fa34199c9619dfec0f41d2eb22a4083ce610
8025920: webrev.ksh does not provide any details about changes in zip files
Summary: Add support for diffs for zip files
Reviewed-by: ksrini, chegar

diff -r 6359fa34199c -r 104c02d9c423 make/scripts/webrev.ksh
--- a/make/scripts/webrev.ksh	Tue Sep 03 22:34:23 2013 -0700
+++ b/make/scripts/webrev.ksh	Mon Oct 07 13:11:40 2013 +0200
@@ -2695,11 +2695,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