linux用命令行来执行php程序

<?php
$start = microtime(true);
for($i=0 ; $i <10000 ; $i ++){
  //  echo '正在执行第'.$i.'个操作！ '.PHP_EOL;
    echo '正在执行第'.$i."个操作！\n ";

}
$end = microtime(true);

$time=$end-$start;

//精确到十位小数,可自行调节
echo number_format($time,10,",",".").'seconds';
?>