On Mi, 2015-10-14 at 22:58 +0200, Bo Berglund wrote: > On Mon, 12 Oct 2015 23:13:53 +0300, Juha Manninen > <juha.mannine...@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...
Yes, it does. See here: https://www.freebsd.org/cgi/man.cgi?query=time&manpath=FreeBSD +9.3-stable Sorry, no Linux man page link at hand, but I think any Linux variant will know that command. -- Marc Santhoff <m.santh...@web.de> -- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus.freepascal.org http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus