aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--analysis/Justfile1
-rw-r--r--src/crates/primrose/src/library_specs.rs5
2 files changed, 2 insertions, 4 deletions
diff --git a/analysis/Justfile b/analysis/Justfile
index e6762d3..a61f5bf 100644
--- a/analysis/Justfile
+++ b/analysis/Justfile
@@ -7,6 +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/
download-criterion job:
rsync -ravP candelabra:/opt/candelabra/src/tests/target/criterion/ {{justfile_directory()}}/{{job}}/criterion
diff --git a/src/crates/primrose/src/library_specs.rs b/src/crates/primrose/src/library_specs.rs
index 35e3705..3552d36 100644
--- a/src/crates/primrose/src/library_specs.rs
+++ b/src/crates/primrose/src/library_specs.rs
@@ -67,10 +67,7 @@ impl LibSpec {
lib_specs.insert(spec.struct_name.clone(), spec);
}
Err(e) => {
- debug!(
- "Failed to process library module {}: {}. Continuing anyway.",
- &path, e
- );
+ debug!("Ignoring invalid library module {}", &path);
}
}
}