Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Merge pull request #10986 from OatmealDome/lint-bsd
lint: Don't check for WSL2 host path on non-Linux OSes
  • Loading branch information
AdmiralCurtiss committed Jan 5, 2023
2 parents 7b04a6b + a25c835 commit 7cd3839
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions Tools/lint.sh
Expand Up @@ -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
Expand Down

0 comments on commit 7cd3839

Please sign in to comment.