On Mi, 2015-10-14 at 22:58 +0200, Bo Berglund wrote: > On Mon, 12 Oct 2015 23:13:53 +0300, Juha Manninen > <[email protected]> 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 <[email protected]> -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
