annotate bin/` @ 11013:8341e2b3f3be

<oerjan> rm 5pEV4X5h
author HackBot
date Thu, 15 Jun 2017 01:33:38 +0000
parents 2849cbc2dc08
children af2c7f210c73
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10752
2849cbc2dc08 <moonythedwarf> revert
HackBot
parents: 10751
diff changeset
1 #!/bin/bash
2849cbc2dc08 <moonythedwarf> revert
HackBot
parents: 10751
diff changeset
2 TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
2849cbc2dc08 <moonythedwarf> revert
HackBot
parents: 10751
diff changeset
3 shopt -s extglob globstar
2849cbc2dc08 <moonythedwarf> revert
HackBot
parents: 10751
diff changeset
4 eval -- "$1" | rnooodl