On Mon, 12 Oct 2015 23:13:53 +0300, Juha Manninen <juha.manninen62 at gmail.com> wrote: $ time make clean bigide I have never seen such a command before, does it print the time the command following time takes to complete??? man time does not mention such a functionality... -- Bo Berglund Developer in Sweden