author | amurillo |
Wed, 15 Aug 2012 16:49:38 -0700 | |
changeset 13465 | d3fc5d192448 |
parent 13464 | 7c12afad79d5 |
child 13468 | 791ed80c7e71 |
child 13479 | a378c53b46f0 |
child 13485 | 6c7faa516fc6 |
child 13528 | e5b423c2edd1 |
--- a/hotspot/make/jprt.properties Fri Aug 10 23:19:43 2012 -0700 +++ b/hotspot/make/jprt.properties Wed Aug 15 16:49:38 2012 -0700 @@ -38,7 +38,7 @@ # This tells jprt what default release we want to build -jprt.hotspot.default.release=jdk7 +jprt.hotspot.default.release=jdk8 jprt.tools.default.release=${jprt.submit.option.release?${jprt.submit.option.release}:${jprt.hotspot.default.release}}