changeset 56865:a7b9d6d4940e

8226521: Detect WSL2 as WSL in configure Reviewed-by: erikj Contributed-by: andrewluotechnologies@outlook.com
author erikj
date Thu, 20 Jun 2019 09:35:41 -0700
parents 6a7d6b6bbd78
children 1aae575eb1ef
files make/autoconf/build-aux/config.guess
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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