# HG changeset patch
# User erikj
# Date 1561048541 25200
# Node ID a7b9d6d4940e72a096447fa44bf75c0ede4dffd7
# Parent  6a7d6b6bbd78af63fb6dd979110453d5eb2febab
8226521: Detect WSL2 as WSL in configure
Reviewed-by: erikj
Contributed-by: andrewluotechnologies@outlook.com

diff -r 6a7d6b6bbd78 -r a7b9d6d4940e 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