From 081b1779fe313fd1e59ca9120e6c71c7c304a628 Mon Sep 17 00:00:00 2001 From: Richard Date: Mon, 22 Jan 2024 08:30:04 -0700 Subject: [PATCH] Update regen-summary script --- results/scripts/{regen-results.bat => regen-summary.bat} | 3 +++ 1 file changed, 3 insertions(+) rename results/scripts/{regen-results.bat => regen-summary.bat} (73%) diff --git a/results/scripts/regen-results.bat b/results/scripts/regen-summary.bat similarity index 73% rename from results/scripts/regen-results.bat rename to results/scripts/regen-summary.bat index 4c40962..9306e4e 100644 --- a/results/scripts/regen-results.bat +++ b/results/scripts/regen-summary.bat @@ -1,2 +1,5 @@ +@rem +@rem Regenerate the summary results files. +@rem tool-summary --annotate RefactorTest results > SummaryResults.md tool-summary --annotate RefactorTest results\preliminary > PreliminaryResults.md