File tree Expand file tree Collapse file tree 1 file changed +1
-4
lines changed Expand file tree Collapse file tree 1 file changed +1
-4
lines changed Original file line number Diff line number Diff line change @@ -315,8 +315,7 @@ fn main() -> Result<()> {
315
315
Ok ( ( ) )
316
316
}
317
317
318
- fn run_dep_mode ( target : String , mut args : impl Iterator < Item = OsString > ) -> Result < ( ) > {
319
- let path = args. next ( ) . expect ( "./miri run-dep must be followed by a file name" ) ;
318
+ fn run_dep_mode ( target : String , args : impl Iterator < Item = OsString > ) -> Result < ( ) > {
320
319
let mut config = miri_config (
321
320
& target,
322
321
"" ,
@@ -329,8 +328,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
329
328
let mut cmd = config. program . build ( & config. out_dir ) ;
330
329
cmd. args ( dep_args) ;
331
330
332
- cmd. arg ( path) ;
333
-
334
331
cmd. args ( args) ;
335
332
if cmd. spawn ( ) ?. wait ( ) ?. success ( ) { Ok ( ( ) ) } else { std:: process:: exit ( 1 ) }
336
333
}
You can’t perform that action at this time.
0 commit comments