From 04c141058e86ceb02d7805b7b0ede32c111322d9 Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Sat, 22 Dec 2018 23:45:31 +0100
Subject: [PATCH] Rebuild gnu time to fix RSS bug

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
---
 time-1.7-0.bee => time-1.7-1.bee | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 rename time-1.7-0.bee => time-1.7-1.bee (86%)

diff --git a/time-1.7-0.bee b/time-1.7-1.bee
similarity index 86%
rename from time-1.7-0.bee
rename to time-1.7-1.bee
index 7f4e26e48..c0f89cb1a 100755
--- a/time-1.7-0.bee
+++ b/time-1.7-1.bee
@@ -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 )