The-Homebrew-Cloud/dolphin
2
0
Fork 0
mirror of https://github.com/dolphin-emu/dolphin.git synced 2025-01-09 07:39:26 +01:00
Code Issues Packages Projects Releases Wiki Activity

lint: use git.exe if the source resides on v9fs

Browse Source 
speedup for running script under wsl2 when sources are mounted from host
This commit is contained in:
Shawn Hoffman 2022-06-08 20:43:45 -07:00
parent 0c6b6b74bf
commit a93babb1b3
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Tools/lint.sh
View File

@ -4,7 +4,14 @@
set -euo pipefail set -euo pipefail
if ! [ -x "$(command -v git)" ]; then # 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
fi
if ! [ -x "$(command -v $GIT)" ]; then
echo >&2 "error: git is not installed" echo >&2 "error: git is not installed"
exit 1 exit 1
fi fi
@ -55,7 +62,7 @@ if [ $FORCE -eq 0 ]; then
fi fi
did_java_setup=0 did_java_setup=0
JAVA_CODESTYLE_FILE="./$(git rev-parse --show-cdup)/Source/Android/code-style-java.xml" JAVA_CODESTYLE_FILE="./$($GIT rev-parse --show-cdup)/Source/Android/code-style-java.xml"
java_temp_dir="" java_temp_dir=""
function java_setup() { function java_setup() {
@ -77,13 +84,13 @@ fail=0
COMMIT=${1:---cached} COMMIT=${1:---cached}
# Get modified files (must be on own line for exit-code handling) # Get modified files (must be on own line for exit-code handling)
modified_files=$(git diff --name-only --diff-filter=ACMRTUXB $COMMIT) modified_files=$($GIT diff --name-only --diff-filter=ACMRTUXB $COMMIT)
function java_check() { function java_check() {
"${ANDROID_STUDIO_ROOT}/bin/format.sh" -s "${JAVA_CODESTYLE_FILE}" -R "${java_temp_dir}" >/dev/null "${ANDROID_STUDIO_ROOT}/bin/format.sh" -s "${JAVA_CODESTYLE_FILE}" -R "${java_temp_dir}" >/dev/null
# ignore 'added'/'deleted' files, we copied only files of interest to the tmpdir # ignore 'added'/'deleted' files, we copied only files of interest to the tmpdir
d=$(git diff --diff-filter=ad . "${java_temp_dir}" || true) d=$($GIT diff --diff-filter=ad . "${java_temp_dir}" || true)
if ! [ -z "${d}" ]; then if ! [ -z "${d}" ]; then
echo "!!! Java code is not compliant to coding style, here is the fix:" echo "!!! Java code is not compliant to coding style, here is the fix:"
echo "${d}" echo "${d}"