diff --git a/src/executor/valgrind/measure.rs b/src/executor/valgrind/measure.rs index 823aafe0..44b061de 100644 --- a/src/executor/valgrind/measure.rs +++ b/src/executor/valgrind/measure.rs @@ -156,6 +156,11 @@ pub async fn measure( } } cmd.arg(format!("--log-file={}", log_path.to_str().unwrap()).as_str()); + cmd.args( + env::var("VALGRIND_FLAGS") + .unwrap_or_default() + .split_whitespace(), + ); // Set the command to execute: let script_path = create_run_script()?;