8226521: Detect WSL2 as WSL in configure
authorerikj
Thu, 20 Jun 2019 09:35:41 -0700
changeset 55445 a7b9d6d4940e
parent 55444 6a7d6b6bbd78
child 55446 1aae575eb1ef
child 57415 50ac38fbd874
8226521: Detect WSL2 as WSL in configure Reviewed-by: erikj Contributed-by: andrewluotechnologies@outlook.com
make/autoconf/build-aux/config.guess
--- a/make/autoconf/build-aux/config.guess	Thu Jun 20 10:12:31 2019 -0400
+++ b/make/autoconf/build-aux/config.guess	Thu Jun 20 09:35:41 2019 -0700
@@ -63,7 +63,7 @@
 # Test and fix wsl
 echo $OUT | grep x86_64-unknown-linux-gnu > /dev/null 2> /dev/null
 if test $? = 0; then
-  uname -r | grep Microsoft > /dev/null 2> /dev/null
+  uname -r | grep -i microsoft > /dev/null 2> /dev/null
   if test $? = 0; then
     OUT="x86_64-pc-wsl"
   fi