stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8226521: Detect WSL2 as WSL in configure

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Andrew Luo 2019-06-20 09:35:41 -07:00 committed by Erik Joelsson
parent cd130d9b39
commit 4c4bd162c5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make/autoconf/build-aux/config.guess vendored
View File

@ -63,7 +63,7 @@ fi
# 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