diff options
| author | OatmealDome <julian@oatmealdome.me> | 2022-08-15 16:13:18 -0400 |
|---|---|---|
| committer | OatmealDome <julian@oatmealdome.me> | 2022-08-15 16:13:18 -0400 |
| commit | a25c835d00adbea264cc96fea74695ab831fac67 (patch) | |
| tree | e4270a59be0b0a6d90cc0fc16463657312726949 /Tools | |
| parent | b6a18b0da51ec0733dc6fcc78725fa4f800fc035 (diff) | |
lint: Don't check for WSL2 host path on non-Linux OSes
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/lint.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Tools/lint.sh b/Tools/lint.sh index 0f6f37f859..2db4604a46 100755 --- a/Tools/lint.sh +++ b/Tools/lint.sh @@ -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 |