oto/assets/script/check_rev.bat
2023-10-30 20:54:36 +09:00

8 lines
No EOL
221 B
Batchfile

set /p REV_OLD=<git_rev.txt
git rev-list --all HEAD --all --count > git_rev.txt
set /p REV_NEW=<git_rev.txt
IF %REV_OLD%==%REV_NEW% set RESULT=TRUE
IF NOT %REV_OLD%==%REV_NEW% set RESULT=FALSE
echo %RESULT% > result.txt