# HG changeset patch
# User HackBot
# Date 1476833732 0
# Node ID a4ab900710c20478d5aa132f7b35cc8fba0a5f29
# Parent  eff0a384b5e373a8ef6a29a4f8c5df8c7c480639
<shachaf> ` sed \'s#eval#rm canary; eval#\' bin/\\` > bin/\'(\'

diff -r eff0a384b5e3 -r a4ab900710c2 bin/(
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/(	Tue Oct 18 23:35:32 2016 +0000
@@ -0,0 +1,4 @@
+#!/bin/bash
+TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
+shopt -s extglob globstar
+rm canary; eval -- "$1" | rnooodl