diff --git a/src/Console/Command.php b/src/Console/Command.php index 7d4b8419..d637e2e9 100644 --- a/src/Console/Command.php +++ b/src/Console/Command.php @@ -122,7 +122,10 @@ final class Command extends BaseCommand if ($result === 0 && $this->testSuite->coverage) { if (!Coverage::isAvailable()) { - throw new CodeCoverageDriverNotAvailable(); + $this->output->writeln( + "\n ERROR No code coverage driver is available.", + ); + exit(1); } $coverage = Coverage::report($this->output); diff --git a/src/Exceptions/CodeCoverageDriverNotAvailable.php b/src/Exceptions/CodeCoverageDriverNotAvailable.php deleted file mode 100644 index 00f2f788..00000000 --- a/src/Exceptions/CodeCoverageDriverNotAvailable.php +++ /dev/null @@ -1,24 +0,0 @@ -