tools/benchmark-releases.py: Get memory information
Use /usr/bin/time to get accurate memory resource usage. rusage couldn't be reliably used because it was influenced by the parent process.
Please register or sign in to comment
Use /usr/bin/time to get accurate memory resource usage. rusage couldn't be reliably used because it was influenced by the parent process.