changeset 6840:d3d7c1e6e92d

<izabera> ` printf \'#!/bin/bash\\nTIMEFORMAT="real: %%lR, user: %%lU, sys: %%lS"\\neval -- "$1"\\n\' > bin/\\`
author HackBot
date Sun, 14 Feb 2016 22:52:17 +0000
parents 5e80ce57708c
children 268beaec77b0
files bin/`
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/`	Sun Feb 14 20:38:19 2016 +0000
+++ b/bin/`	Sun Feb 14 22:52:17 2016 +0000
@@ -1,1 +1,3 @@
-TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"
+#!/bin/bash
+TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
+eval -- "$1"