diff options
Diffstat (limited to 'crates/driver/src/main.rs')
-rw-r--r-- | crates/driver/src/main.rs | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/crates/driver/src/main.rs b/crates/driver/src/main.rs index 98aa10a..44e5e1d 100644 --- a/crates/driver/src/main.rs +++ b/crates/driver/src/main.rs @@ -62,8 +62,15 @@ fn main() { } let taskset = rsv.into_taskset(); let mut driver = driver::Driver::new(&ctx, taskset, force_run).unwrap(); - if let Err(error) = driver.run(&runner) { - eprintln!("{}", error); - std::process::exit(1); + match driver.run(&runner) { + Ok(success) => { + if !success { + std::process::exit(1); + } + } + Err(error) => { + eprintln!("{}", error); + std::process::exit(1); + } } } |