Merge pull request #10986 from OatmealDome/lint-bsd

lint: Don't check for WSL2 host path on non-Linux OSes
This commit is contained in:
Admiral H. Curtiss 2023-01-05 04:09:33 +01:00 committed by GitHub
commit 7cd3839fd6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions

View File

@ -7,8 +7,10 @@ set -euo pipefail
# use Windows' git when working under path mounted from host on wsl2
# inspired by https://markentier.tech/posts/2020/10/faster-git-under-wsl2/#solution
GIT=git
if [ "$(stat --file-system --format=%T `pwd -P`)" == "v9fs" ]; then
GIT=git.exe
if [ "$(uname -s)" == "Linux" ]; then
if [ "$(stat --file-system --format=%T `pwd -P`)" == "v9fs" ]; then
GIT=git.exe
fi
fi
if ! [ -x "$(command -v $GIT)" ]; then