# HG changeset patch
# User HackBot
# Date 1429084569 0
# Node ID d70fe8ae45fcd01c69532400cc7bcc7e52591862
# Parent  b2e44f0039e393c4e6f5e6a2608bb961f495262a
<izabera> ` sed -i "s/^/TIMEFORMAT=\'real: %lR, user: %lU, sys: %lS\' /" bin/\\`

diff -r b2e44f0039e3 -r d70fe8ae45fc bin/`
--- a/bin/`	Wed Apr 15 07:52:59 2015 +0000
+++ b/bin/`	Wed Apr 15 07:56:09 2015 +0000
@@ -1,1 +1,1 @@
-exec bash -c -- "$1"
+TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"