annotate bin/` @ 6658:c1477023c681

<oerjan> mkx bin/echo-p//echo "$1"; [[ "$1" == */* ]] && mkdir -p "${1%/*}" 2>/dev/null
author HackBot
date Tue, 09 Feb 2016 01:12:38 +0000
parents 56dcce63901b
children d3d7c1e6e92d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5643
56dcce63901b <tswett> revert
HackBot
parents:
diff changeset
1 TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"