Bug: https://bugs.openjdk.java.net/browse/JDK-8193764
Webrev: http://cr.openjdk.java.net/~mr/rev/8193764/
You can set COMPANY_NAME in make/autoconf/version-numbers, but you can't
set it when configuring a build, so it's impossible to change the value
of IMPLEMENTOR in the $JAVA_HOME/release file w
Mark, thanks for implementing my little feature request. Looks good to me.
Aside: we only support running configure under bash, but as a result the
configure script is now a strange mixture of bashisms and 1980-isms.
On Mon, Dec 18, 2017 at 2:41 PM, wrote:
> Bug: https://bugs.openjdk.java.net/
Mark:
Bug: https://bugs.openjdk.java.net/browse/JDK-8193764
Webrev: http://cr.openjdk.java.net/~mr/rev/8193764/
Looks good.
Tim
2017/12/18 15:36:03 -0800, Martin Buchholz :
> Mark, thanks for implementing my little feature request. Looks good to me.
I didn't know you'd requested this -- is there an existing issue?
- Mark
On Mon, Dec 18, 2017 at 3:50 PM, wrote:
> 2017/12/18 15:36:03 -0800, Martin Buchholz :
> > Mark, thanks for implementing my little feature request. Looks good to
> me.
>
> I didn't know you'd requested this -- is there an existing issue?
>
https://bugs.openjdk.java.net/browse/JDK-8189761
Looks good.
/Erik
On 2017-12-18 23:41, mark.reinh...@oracle.com wrote:
Bug: https://bugs.openjdk.java.net/browse/JDK-8193764
Webrev: http://cr.openjdk.java.net/~mr/rev/8193764/
You can set COMPANY_NAME in make/autoconf/version-numbers, but you can't
set it when configuring a build, so it's im
2017/12/18 20:40:19 -0800, Martin Buchholz :
> On Mon, Dec 18, 2017 at 3:50 PM, mark.reinh...@oracle.com wrote:
>> I didn't know you'd requested this -- is there an existing issue?
>
> https://bugs.openjdk.java.net/browse/JDK-8189761
Thanks. I cross-linked that with 8193764, which addresses part