From 90f449e5a3fc96688ea7f87d5680046ba4c9b781 Mon Sep 17 00:00:00 2001
From: Tim White <walton.timothy.james.white@gmail.com>
Date: Fri, 29 Sep 2023 11:44:52 +1300
Subject: [PATCH] Enable adding flags easily with `make EXTRA_FLAGS=...`;
 record start and end time and extra flags used

---
 tools/run_shadedetector_on_all.pl | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/tools/run_shadedetector_on_all.pl b/tools/run_shadedetector_on_all.pl
index c5e1cff..7293856 100755
--- a/tools/run_shadedetector_on_all.pl
+++ b/tools/run_shadedetector_on_all.pl
@@ -30,11 +30,11 @@
 	chomp $pomFName;
 
 	# -g, -a, -v, -sig and any JAVA_HOME=... setting are now all determined from pov-project.json
-	my $cmd = "/usr/bin/time java -jar $jarPath -vul $xshadyPath/$d -l log$n-$d.log -vov vuln_final --stats $statsFName -o1 csv.details?dir=details$n-$d -o2 csv.summary?file=summary$n-$d.csv -cache $cacheDir";
+	my $cmd = "/usr/bin/time java -jar $jarPath -vul $xshadyPath/$d -l log$n-$d.log -vov vuln_final --stats $statsFName -o1 csv.details?dir=details$n-$d -o2 csv.summary?file=summary$n-$d.csv -cache $cacheDir \${EXTRA_FLAGS}";
 
 	if ($mode eq 'make') {
 		push @targets, $statsFName;
-		push @rules, "$statsFName: $pomFName\n\t$cmd\n\n";
+		push @rules, "$statsFName: $pomFName started\n\t$cmd\n\n";
 
 	} else {
 		print "$cmd\n";
@@ -44,6 +44,12 @@
 }
 
 if ($mode eq 'make') {
+	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 @targets, "finished";
+
 	print join(" \\\n\t", "all:", @targets), "\n\n";
 	print @rules;
 }