RFR: 8277370: configure script cannot distinguish WSL version [v2]

[Yasumasa Suenaga]

On Thu, 18 Nov 2021 14:03:33 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Yasumasa Suenaga has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Use $GREP to check /proc/interrupts
>
> make/autoconf/basic_windows.m4 line 39:
> 
>> 37:       # distinguishing between WSL1 and WSL2.
>> 38:       # Check whether "Hyper-V" appears in /proc/interrupts because WSL2 runs on Hyper-V.
>> 39:       grep Hyper-V /proc/interrupts > /dev/null 2>&1
> 
> You could use the -q switch to grep instead of piping to /dev/null.

Thanks for your review! I updated  to add `-q` and to use `$GREP` instead of `grep`.

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

PR: https://git.openjdk.java.net/jdk/pull/6446