Merge pull request #6 from ttomdewit/patch-1

Allow floats to be used for coverage
richardregeer · Sep 27, 2019 · d872edc · d872edc
2 parents 8984ce2 + 16fe0a2
commit d872edc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coverage-check.php b/coverage-check.php
@@ -11,7 +11,7 @@
 }
 
 $inputFile = $argv[1];
-$percentage = min(100, max(0, (int)$argv[2]));
+$percentage = min(100, max(0, (float)$argv[2]));
 
 $xml = new SimpleXMLElement(file_get_contents($inputFile));
 $metrics = $xml->xpath('//metrics');
@@ -40,4 +40,4 @@
     exit(1);
 }
 
-echo 'Total code coverage is ' . sprintf('%0.2f', $TPC) . '% - OK!' . PHP_EOL;
+echo 'Total code coverage is ' . sprintf('%0.2f', $TPC) . '% - OK!' . PHP_EOL;