From e5c33316c68a4f5b779a7d675d072e9f1c29cf25 Mon Sep 17 00:00:00 2001 From: Richard Date: Sun, 11 Feb 2024 13:00:34 -0700 Subject: [PATCH] Check for changes on Tools directory --- results/scripts/check.bat | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/results/scripts/check.bat b/results/scripts/check.bat index b9b6932..1af45e0 100644 --- a/results/scripts/check.bat +++ b/results/scripts/check.bat @@ -6,8 +6,25 @@ rem Example: check R100 rem setlocal set diff=%TEMP%\diff.txt +set toolDiff=%TEMP%\diff-tools.txt +set empty=%TEMP%\empty.txt +set out=%TEMP%\out.txt +if not exist %empty% copy nul: %empty% > nul: cls git diff RefactorTest | find /v "index" | drop-comments > %diff% if not exist results\diffs\%1.txt exit /b 1 +call :compare %1 > %out% +more < %out% +exit /b 0 + +:compare echo Comparing diffs for %1 -find /v "index" < results\diffs\%1.txt | drop-comments | @diff -i -c - %diff% | more +find /v "index" < results\diffs\%1.txt | drop-comments | @diff -i -c - %diff% +git diff Tools > %toolDiff% +comp %empty% %toolDiff% /m > nul: +if not errorlevel 1 exit /b 0 +echo. +echo Tools were changed: +git status Tools | find "modified:" +echo. +exit /b 0