On Thu, 27 Apr 2023 08:50:01 GMT, Christoph Langer <[email protected]> wrote:
>> hi >> >> bash configure >> >> There is an warning message >> >> The following warnings were produced. Repeated here for convenience: >> WARNING: Ignoring value of GREP from the environment. Use command line >> variables instead. > > Ah, yes, I must have overlooked this. Looks good, thanks for fixing. @RealCLanger @MBaesken Thanks for the review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13685#issuecomment-1525224406
