(this bug affects all versions of CentOS, at least up to 6.2)<br />
<br />
GNU time reports 4 times too much "maxresident" memory usage.<br />
<br />
The problem and the fix are described here : <br />
<a href="http:<a href="mailto://www.mail-archive.com/help-gnu-utils@gnu.org">//www.mail-archive.com/help-gnu-utils@gnu.org</a>/msg01371.html">http:<a href="mailto://www.mail-archive.com/help-gnu-utils@gnu.org">//www.mail-archive.com/help-gnu-utils@gnu.org</a>/msg01371.html</a> [<a href="http:<a href="mailto://www.mail-archive.com/help-gnu-utils@gnu.org">//www.mail-archive.com/help-gnu-utils@gnu.org</a>/msg01371.html" target="_blank">^</a>]
↧