diff options
Diffstat (limited to 'cli/main.rs')
| -rw-r--r-- | cli/main.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/main.rs b/cli/main.rs index 381ba7214..a61f94530 100644 --- a/cli/main.rs +++ b/cli/main.rs @@ -984,6 +984,7 @@ async fn test_command( quiet: bool, allow_none: bool, filter: Option<String>, + shuffle: Option<u64>, concurrent_jobs: usize, ) -> Result<(), AnyError> { if let Some(ref coverage_dir) = flags.coverage_dir { @@ -1172,6 +1173,7 @@ async fn test_command( quiet, true, filter.clone(), + shuffle, concurrent_jobs, ) .map(|res| res.map(|_| ())) @@ -1207,6 +1209,7 @@ async fn test_command( quiet, allow_none, filter, + shuffle, concurrent_jobs, ) .await?; @@ -1314,6 +1317,7 @@ fn get_subcommand( include, allow_none, filter, + shuffle, concurrent_jobs, } => test_command( flags, @@ -1324,6 +1328,7 @@ fn get_subcommand( quiet, allow_none, filter, + shuffle, concurrent_jobs, ) .boxed_local(), |