diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-08-12 15:21:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-12 15:21:17 -0400 |
| commit | 8eed24cd3d9cea5179c65e43d23fbf6cf4d873ca (patch) | |
| tree | 3047d60a9f8e972a601de011460dee151ad4c558 /cli/main.rs | |
| parent | ee2f4e745c33797ac9fd20571e77cef73ea585bf (diff) | |
fix(coverage): ensure coverage is only collected in certain situations (#15467)
Diffstat (limited to 'cli/main.rs')
| -rw-r--r-- | cli/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/main.rs b/cli/main.rs index de89c7e12..b157b3582 100644 --- a/cli/main.rs +++ b/cli/main.rs @@ -774,7 +774,7 @@ async fn run_command( run_flags: RunFlags, ) -> Result<i32, AnyError> { // Read script content from stdin - if run_flags.script == "-" { + if run_flags.is_stdin() { return run_from_stdin(flags).await; } |