diff --git a/make.php b/make.php index 0070ce1742e7d740c65c3dfac5b540c8bbb03b9e..bc79c75b4cf7a9b39ca596fb4eaf194034dd42a9 100644 --- a/make.php +++ b/make.php @@ -48,7 +48,12 @@ foreach ($profiles as $profile) { $make->setTimeout(NULL); - if ($make->run() > 0) { + if ($make->run( + function ($type, $buffer) { + echo $buffer; + } + ) > 0 + ) { throw new Exception('Failed to run command: ' . $make->getCommandLine()); }