File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed
Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -117,6 +117,7 @@ pub async fn measure(
117117 cmd. current_dir ( abs_cwd) ;
118118 }
119119 // Configure valgrind
120+ let valgrind_flags = env:: var ( "VALGRIND_FLAGS" ) . unwrap_or_default ( ) ;
120121 let profile_path = profile_folder. join ( "%p.out" ) ;
121122 let log_path = profile_folder. join ( "valgrind.log" ) ;
122123 cmd. arg ( "valgrind" )
@@ -127,7 +128,8 @@ pub async fn measure(
127128 . map ( |x| format ! ( "--obj-skip={x}" ) ) ,
128129 )
129130 . arg ( format ! ( "--callgrind-out-file={}" , profile_path. to_str( ) . unwrap( ) ) . as_str ( ) )
130- . arg ( format ! ( "--log-file={}" , log_path. to_str( ) . unwrap( ) ) . as_str ( ) ) ;
131+ . arg ( format ! ( "--log-file={}" , log_path. to_str( ) . unwrap( ) ) . as_str ( ) )
132+ . args ( valgrind_flags. split_whitespace ( ) ) ;
131133
132134 // Set the command to execute:
133135 let script_path = create_run_script ( ) ?;
You can’t perform that action at this time.
0 commit comments