" -v Version number\n"
" -w Display source with stripped comments and whitespace.\n"
" -z <file> Load Zend extension <file>.\n"
- " -T <count> Measure execution time of script repeated <count> times.\n",
+ " -T <count> Measure execution time of script repeated <count> times.\n",
prog, prog);
}
/* }}} */
while ((c = php_getopt(argc, argv, OPTIONS, &php_optarg, &php_optind, 1, 2)) != -1) {
switch (c) {
case 'T':
- benchmark = 1;
+ benchmark = 1;
repeats = atoi(php_optarg);
gettimeofday(&start, NULL);
break;