Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: time builtin vs. time(1): difference in memory numbers



On Mon, 17 Oct 2016 19:49:18 +0000
Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> wrote:
> > I think the ru_maxrss part is valid for linux as well. (unsure)
> 
> On Debian stable, getrusage(2) sas:
> 
>        ru_maxrss (since Linux 2.6.32)
>               This is the maximum resident set size used (in kilobytes).

Yes, I think the current code dividing by 1024 to get megabytes as
documented is correct.  So it looks like we just need some appropriate
#ifdef's.

pws



Messages sorted by: Reverse Date, Date, Thread, Author