equal
deleted
inserted
replaced
61 fi |
61 fi |
62 |
62 |
63 # Test and fix wsl |
63 # Test and fix wsl |
64 echo $OUT | grep x86_64-unknown-linux-gnu > /dev/null 2> /dev/null |
64 echo $OUT | grep x86_64-unknown-linux-gnu > /dev/null 2> /dev/null |
65 if test $? = 0; then |
65 if test $? = 0; then |
66 uname -r | grep Microsoft > /dev/null 2> /dev/null |
66 uname -r | grep -i microsoft > /dev/null 2> /dev/null |
67 if test $? = 0; then |
67 if test $? = 0; then |
68 OUT="x86_64-pc-wsl" |
68 OUT="x86_64-pc-wsl" |
69 fi |
69 fi |
70 fi |
70 fi |
71 |
71 |