work around a bug in bash's implementation of "time"
authorRudolf Polzer <divverent@alientrap.org>
Sun, 7 Nov 2010 18:40:07 +0000 (19:40 +0100)
committerRudolf Polzer <divverent@alientrap.org>
Sun, 7 Nov 2010 18:40:07 +0000 (19:40 +0100)
commit8734a8fe7d9c610b69e69f529d704aa1db5729a5
tree94b5cec8e310c2727d23da6994a7a52d55f0b149
parent5727b27a221fd713d76b699800123278959ac03a
work around a bug in bash's implementation of "time"
all