Added extra info to the output

master
Richard van Velzen 2011-12-31 11:28:35 +01:00
parent 9715a068e9
commit 793d2a4d85
1 changed files with 7 additions and 0 deletions

View File

@ -1346,6 +1346,9 @@ if ($_SERVER['argv']) {
}
array_shift($_SERVER['argv']); // Strip out the program name.
$timer = microtime(true);
foreach ($_SERVER['argv'] as $path) {
$code .= parse_lime_grammar($path);
}
@ -1368,4 +1371,8 @@ if ($_SERVER['argv']) {
*/
{$code}
CODE;
echo PHP_EOL
. '// Time: ' . (microtime(true) - $timer) . ' seconds' . PHP_EOL
. '// Memory: ' . memory_get_peak_usage() . ' bytes' . PHP_EOL;
}