From 8d7b3afc3bdb5c7c49dfa91eb78873d36fc1c5ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Lucas?= <sebastien@slucas.fr>
Date: Tue, 17 Dec 2013 20:59:22 +0100
Subject: [PATCH] The clover is allowed to be missing (for hhvm).

---
 test/coverage-checker.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/coverage-checker.php b/test/coverage-checker.php
index e228ed9..485ed12 100644
--- a/test/coverage-checker.php
+++ b/test/coverage-checker.php
@@ -15,7 +15,8 @@ $inputFile  = $argv[1];
 $percentage = min(100, max(0, (int) $argv[2]));
 
 if (!file_exists($inputFile)) {
-    throw new InvalidArgumentException('Invalid input file provided');
+    echo 'Invalid input file provided';
+    exit (0);
 }
 
 if (!$percentage) {