# HG changeset patch
# User HackBot
# Date 1458274207 0
# Node ID dbad4cfe38b410aa0bf9003873558c38f1c4da31
# Parent  74f5b69ab82d0c9168db90ba42a0e2b09fd6ea0e
<shachaf> ` sed -i \'4s/$/ | rnooodl/\' \'bin/`\'

diff -r 74f5b69ab82d -r dbad4cfe38b4 bin/`
--- a/bin/`	Fri Mar 18 02:42:59 2016 +0000
+++ b/bin/`	Fri Mar 18 04:10:07 2016 +0000
@@ -1,4 +1,4 @@
 #!/bin/bash
 TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
 shopt -s extglob globstar
-eval -- "$1"
+eval -- "$1" | rnooodl