Команда time
умножает на следующую команду и выводит использование ресурса.
make
(обычно) используется для расчета зависимостей и построения исходного кода.
Таким образом, time make $@
запускает таймер при построении параметров, которые были переданы в ($@
).
С вашего терминала, набрав man -s 1 time
и man -s 1 make
, вы получите больше информации.