aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAria Shrimpton <me@aria.rip>2024-03-06 12:19:45 +0000
committerAria Shrimpton <me@aria.rip>2024-03-06 12:19:45 +0000
commit3ef9634aba42e2ddbd7109cc8ad1115cb4cb2e27 (patch)
tree5a3c649d7a9856bab5d522f462c3d90b504b7ef1
parent47219213464b2b66b8ed2f633518c630be6f0385 (diff)
minor error in analysis justfile
-rw-r--r--analysis/Justfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/analysis/Justfile b/analysis/Justfile
index a61f5bf..4fa628c 100644
--- a/analysis/Justfile
+++ b/analysis/Justfile
@@ -7,7 +7,7 @@ download-log job:
mkdir -p {{justfile_directory()}}/{{job}}
curl https://git.tardisproject.uk/tcmal/dissertation/-/jobs/{{job}}/raw > {{justfile_directory()}}/{{job}}/log
./split-log.py {{justfile_directory()}}/{{job}}/log
- grep -H -i 'error' {{justfile_directory()}}/{{job}}/sections/
+ grep -R -H -i 'error' {{justfile_directory()}}/{{job}}/sections/
download-criterion job:
rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion