jdk8-mips64-public/hotspot: diff make/hotspot_version

diff: make/hotspot_version

make/hotspot_version

changeset 3795: c80d42d78a01
parent 3772: 03d61caacd1e
child 3818: 6e2633440960

     1.1 --- a/make/hotspot_version	Fri May 25 14:45:36 2012 -0700
     1.2 +++ b/make/hotspot_version	Fri May 25 14:56:19 2012 -0700
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  HS_MAJOR_VER=24
     1.6  HS_MINOR_VER=0
     1.7 -HS_BUILD_NUMBER=12
     1.8 +HS_BUILD_NUMBER=13
     1.9  
    1.10  JDK_MAJOR_VER=1
    1.11  JDK_MINOR_VER=8