annotate bin/` @ 6486:c407448cbf0f

<oerjan> revert
author HackBot
date Sun, 03 Jan 2016 00:35:14 +0000
parents 56dcce63901b
children d3d7c1e6e92d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5643
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
1 TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"