RFR: 8306976: UTIL_REQUIRE_SPECIAL warning on grep

Thu Apr 27 09:22:54 UTC 2023

On Thu, 27 Apr 2023 08:50:01 GMT, Christoph Langer <clanger at openjdk.org> 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