changeset 784:88113cabda38 jdk7u60-b01

Merge
author lana
date Mon, 21 Oct 2013 14:20:47 -0700
parents 104c02d9c423 (diff) f47b13738c41 (current diff)
children 6bdacebbc97f
files
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/make/scripts/webrev.ksh	Mon Oct 14 23:12:34 2013 -0700
+++ b/make/scripts/webrev.ksh	Mon Oct 21 14:20:47 2013 -0700
@@ -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