bashでtimeコマンドを実行する場合。
shellに組み込みされているtimeコマンドがありますが。
それ以外にも外部コマンドとしてgnuが提供しているtimeコマンドもインストールされており。
gnu版timeコマンドもインストールされている場合などで、単純にtimeとしてコマンドを実行すると、bash組み込みのtimeが優先して実行されます…
↧