*** This bug is a duplicate of bug 742248 ***
https://bugs.launchpad.net/bugs/742248
One of the patches for this long-living bug has been described here more than a
year ago:
http://groups.google.com/group/gnu.utils.help/browse_thread/thread/bb530eb072f86e18/83599c4828de175b
The only thing that remains is to make this fix arrive in Ubuntu. All
the versions up to oneiric, maybe even precise might be affected.
** This bug has been marked a duplicate of bug 742248
time reports incorrect max rss
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/840944
Title:
'max resident' output too large by factor 4
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/time/+bug/840944/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs