diff options
Diffstat (limited to 'tools/log-command')
-rwxr-xr-x | tools/log-command | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/log-command b/tools/log-command deleted file mode 100755 index 59a043f..0000000 --- a/tools/log-command +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash - -toolsdir=`dirname "$0"` -rootdir=`dirname "$toolsdir"` - -${@:(-$#):($#-1)} | tee -a ${@: -1:1} - -exit ${PIPESTATUS[0]} |