make/scripts/webrev.ksh
changeset 20274 b76b26641346
parent 19754 76f369edc1ca
child 20637 3cf7db6a1586
equal deleted inserted replaced
20273:126644dde85d 20274:b76b26641346
  2702         rm -f $WDIR/$DIR/$F.sdiff.html
  2702         rm -f $WDIR/$DIR/$F.sdiff.html
  2703         rm -f $WDIR/$DIR/$F-.html
  2703         rm -f $WDIR/$DIR/$F-.html
  2704         rm -f $WDIR/$DIR/$F.html
  2704         rm -f $WDIR/$DIR/$F.html
  2705 
  2705 
  2706 	its_a_jar=
  2706 	its_a_jar=
  2707 	if expr $F : '.*\.jar' >/dev/null; then
  2707 	if expr $F : '.*\.jar' \| $F : '.*\.zip' >/dev/null; then
  2708 	    its_a_jar=1
  2708 	    its_a_jar=1
  2709 	    # It's a JAR file, let's do it differntly
  2709 	    # It's a JAR or ZIP file, let's do it differently
  2710 	    if [[ -z $JAR ]]; then
  2710 	    if [[ -z $JAR ]]; then
  2711 		print "No access to jar, so can't produce diffs for jar files"
  2711 		print "No access to jar, so can't produce diffs for jar or zip files"
  2712 	    else
  2712 	    else
  2713 		if [ -f $ofile ]; then
  2713 		if [ -f $ofile ]; then
  2714 		    $JAR -tvf $ofile >"$ofile".lst
  2714 		    $JAR -tvf $ofile >"$ofile".lst
  2715 		fi
  2715 		fi
  2716 		if [ -f $nfile ]; then
  2716 		if [ -f $nfile ]; then