From a25c835d00adbea264cc96fea74695ab831fac67 Mon Sep 17 00:00:00 2001
From: OatmealDome <julian@oatmealdome.me>
Date: Mon, 15 Aug 2022 16:13:18 -0400
Subject: [PATCH] lint: Don't check for WSL2 host path on non-Linux OSes

---
 Tools/lint.sh | 6 ++++--
 1 file 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