diff options
Diffstat (limited to 'pts/test-resources/tandem-xml/parse-results.php')
-rw-r--r-- | pts/test-resources/tandem-xml/parse-results.php | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pts/test-resources/tandem-xml/parse-results.php b/pts/test-resources/tandem-xml/parse-results.php deleted file mode 100644 index 4a19f30..0000000 --- a/pts/test-resources/tandem-xml/parse-results.php +++ /dev/null @@ -1,5 +0,0 @@ -<?php - -$BENCHMARK_RESULTS = substr($argv[1], strrpos($argv[1], "tandem_Xml Time:") + 16); -echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "Seconds"))); -?> |