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<()> {
315315 Ok ( ( ) )
316316}
317317
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 < ( ) > {
320319 let mut config = miri_config (
321320 & target,
322321 "" ,
@@ -329,8 +328,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
329328 let mut cmd = config. program . build ( & config. out_dir ) ;
330329 cmd. args ( dep_args) ;
331330
332- cmd. arg ( path) ;
333-
334331 cmd. args ( args) ;
335332 if cmd. spawn ( ) ?. wait ( ) ?. success ( ) { Ok ( ( ) ) } else { std:: process:: exit ( 1 ) }
336333}
You can’t perform that action at this time.
0 commit comments