ShuriZma
/
dolphin
mirror of https://github.com/dolphin-emu/dolphin.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

lint: Don't check for WSL2 host path on non-Linux OSes

This commit is contained in:
OatmealDome 2022-08-15 16:13:18 -04:00
parent b6a18b0da5
commit a25c835d00
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Tools/lint.sh
View File

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