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... -- Bo Berglund Developer in Sweden -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
