time
命令对以下命令进行计时并输出资源使用情况。
make
(通常)用于计算依赖关系和构建源代码。
所以time make $@
运行一个计时器,同时构建传入的任何参数($@
)。
在您的终端上,输入man -s 1 time
和man -s 1 make
会为您提供更多信息。
从“时间”手册页:
时间实用程序执行并计时实用程序。实用程序完成后,
time写入经过的总时间,系统开销消耗的时间,
以及用于执行标准错误流的实用程序的时间。时
在几秒钟内报告。
因此它只测量执行 make 命令的时间。 $ @ 表示所有传递的参数。