diff options
| -rw-r--r-- | autobuild/index.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/autobuild/index.php b/autobuild/index.php index 54191fa..83bee67 100644 --- a/autobuild/index.php +++ b/autobuild/index.php @@ -46,6 +46,9 @@ while (!feof($status_file)) { } fclose($status_file); +sort($success); +sort($failure); + $nb_failed = count($failure); $nb_success = count($success); $nb_fixed = count($fixed); |