RFR: 7903136: Don't require jdk18_home to be set in jextract gradle build [v4]

Wed Mar 30 10:47:57 UTC 2022

On Wed, 30 Mar 2022 09:17:11 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

>> Jorn Vernee has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Tabs to spaces
>
> README.md line 10:
> 
>> 8: 
>> 9: The JDK used to build jextract can be specified with `-Pjdk=/path/to/jdk`. If that option is omitted, a build JDK will be downloaded automatically.
>> 10: 
> 
> Should we say JDK used to build jextract should be jdk 18 ?

The jdk 18 requirement is listed in the paragraph before.

-------------

PR: https://git.openjdk.java.net/jextract/pull/9