1
0
Fork 0

Avoid downgrading from error to warning

pull/7762/head
Jordi Boggiano 2018-10-31 17:36:38 +01:00
parent da94e4b619
commit 284da1487c
1 changed files with 3 additions and 3 deletions

View File

@ -474,10 +474,10 @@ EOT
if ($hadError) { if ($hadError) {
$io->write('<error>FAIL</error>'); $io->write('<error>FAIL</error>');
$this->exitCode = 2; $this->exitCode = max($this->exitCode, 2);
} elseif ($hadWarning) { } elseif ($hadWarning) {
$io->write('<warning>WARNING</warning>'); $io->write('<warning>WARNING</warning>');
$this->exitCode = 1; $this->exitCode = max($this->exitCode, 1);
} }
if ($result) { if ($result) {