diff options
Diffstat (limited to 'support/texlab/src/diagnostics/build_log.rs')
-rw-r--r-- | support/texlab/src/diagnostics/build_log.rs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/support/texlab/src/diagnostics/build_log.rs b/support/texlab/src/diagnostics/build_log.rs index a2069ff762..ede3a873a8 100644 --- a/support/texlab/src/diagnostics/build_log.rs +++ b/support/texlab/src/diagnostics/build_log.rs @@ -15,11 +15,13 @@ pub fn analyze_build_log_static( let root_document = workspace.documents().into_iter().find(|document| { if let Some(data) = document.data.as_latex() { - data.extras - .implicit_links - .log - .iter() - .any(|u| u.as_ref() == build_log_uri) + !document.uri.as_str().ends_with(".aux") + && data + .extras + .implicit_links + .log + .iter() + .any(|u| u.as_ref() == build_log_uri) } else { false } |