diff -r 763ada2a1d8c -r c1029b02ca87 make/scripts/webrev.ksh --- a/make/scripts/webrev.ksh Thu Oct 31 16:24:33 2013 -0700 +++ b/make/scripts/webrev.ksh Fri Nov 08 09:36:55 2013 +0100 @@ -27,7 +27,7 @@ # Documentation is available via 'webrev -h'. # -WEBREV_UPDATED=25.0-hg+openjdk.java.net +WEBREV_UPDATED=25.1-hg+openjdk.java.net HTML=' /dev/null + hg cat -R $hg_root --rev $parentrev --output $olddir/$PDIR/$PF $PDIR/$PF 2>/dev/null else $parent cat --rev $parentrev --output $olddir/$PDIR/$PF $PDIR/$PF 2>/dev/null fi