diff options
Diffstat (limited to 'pts/test-resources/video-extensions/parse-results.php')
-rw-r--r-- | pts/test-resources/video-extensions/parse-results.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pts/test-resources/video-extensions/parse-results.php b/pts/test-resources/video-extensions/parse-results.php index 978a5c8..fa99dc6 100644 --- a/pts/test-resources/video-extensions/parse-results.php +++ b/pts/test-resources/video-extensions/parse-results.php @@ -1,5 +1,7 @@ <?php -$BENCHMARK_RESULTS = substr($argv[1], strrpos($argv[1], "Final Results:") + 14); +$log_file = file_get_contents(getenv("LOG_FILE")); +$BENCHMARK_RESULTS = substr($log_file, strrpos($log_file, "Final Results:") + 14); echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "."))); + ?> |