Skip to content

Commit

Permalink
Rebuild gnu time to fix RSS bug
Browse files Browse the repository at this point in the history
GNU time incorrectly reports RSS scaled by factor 4:

    $ curl -so mem.cpp https://ideone.com/plain/5bsp0R && make mem && /usr/bin/time -f "time thinks my peak rss is %M kB" ./mem
    g++     mem.cpp   -o mem
    procfs thinks my peak RSS is:       514652 kB
    time thinks my peak rss is 2058608 kB

Bug is reported to and fixed by several distros [1] [2] but never made
it upstream. Add patch from [1] to fix problem.

[1] https://bugzilla.redhat.com/show_bug.cgi?id=702826
[2] https://groups.google.com/forum/#!topic/gnu.utils.help/u1MOsHL4bhg
  • Loading branch information
donald committed Dec 22, 2018
1 parent 6335aeb commit 04c1410
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion time-1.7-0.bee → time-1.7-1.bee
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,8 @@

SRCURL[0]="http://ftp.gnu.org/gnu/time/time-1.7.tar.gz"

PATCHURL[0]=""
# https://bugzilla.redhat.com/show_bug.cgi?id=702826
PATCHURL[0]="https://bugzilla.redhat.com/attachment.cgi?id=497533"

PGRP=( uncategorized )

Expand Down

0 comments on commit 04c1410

Please sign in to comment.