Whats the meaning of 'time make' in linux

I read build/envsetup.sh in android source code, and found a command time make $@ in function mm. But I don't know the meanin开发者_运维知识库g about it. Who can I help me?

---

The time command times the following command and outputs resource usage.

make is (usually) used for calculating dependencies and building source code.

So time make $@ runs a timer, while building whichever parameters were passed in ($@).

From your terminal, typing man -s 1 time and man -s 1 make will give you more information.

---

From "time" man page:

The time utility executes and times utility. After the utility finishes, time writes the total time elapsed, the time consumed by system overhead, and the time used to execute utility to the standard error stream. Times are reported in seconds.

So it just measures how long the make command is executed. $@ means all passed parameters.