From fb5dd6402daaee25d272b2505950a423c23d8be1 Mon Sep 17 00:00:00 2001 From: Tim White Date: Fri, 29 Sep 2023 15:16:03 +1300 Subject: [PATCH] Automatically sum stats*.log into summed_stats.log after finishing --- tools/run_shadedetector_on_all.pl | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/run_shadedetector_on_all.pl b/tools/run_shadedetector_on_all.pl index 7293856..eac23e0 100755 --- a/tools/run_shadedetector_on_all.pl +++ b/tools/run_shadedetector_on_all.pl @@ -9,6 +9,7 @@ my $cacheDir = (-d $localScratchCacheDir ? $localScratchCacheDir : "$ENV{HOME}/code/shadedetector/.cache"); my $jarPath = "../target/shadedetector.jar"; my $xshadyPath = "$ENV{HOME}/code/xshady"; +my $sumStatsCmd = "../tools/sum_stats.pl stats*.log > summed_stats.log"; my $mode = "make"; @@ -24,6 +25,10 @@ my @targets; my @rules; +if ($mode eq 'shell-script') { + print "echo '#'`date` >> started\necho EXTRA_FLAGS=\"\${EXTRA_FLAGS}\" >> started\n"; +} + foreach my $d () { my $statsFName = "stats$n-$d.log"; my $pomFName = `realpath $d/pom.xml`; @@ -47,9 +52,11 @@ print ".PHONY: all started finished\n\n"; unshift @targets, "started"; unshift @rules, "started:\n\techo '#'`date` >> \$\@\n\techo EXTRA_FLAGS=\"\${EXTRA_FLAGS}\" >> \$\@\n\n"; - push @rules, "finished: " . join(" ", @targets) . "\n\tdate >> \$\@\n\n"; + push @rules, "finished: " . join(" ", @targets) . "\n\tdate >> \$\@\n\t$sumStatsCmd\n\n"; push @targets, "finished"; print join(" \\\n\t", "all:", @targets), "\n\n"; print @rules; +} else { + print "date >> finished\n$sumStatsCmd\n"; }