diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-16 08:50:36 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-16 08:56:48 (GMT) |
commit | c7be363ef34d1228ad3d1d1aeba4911fbde1242f (patch) | |
tree | 6bd8a513755309152a78390b880a99442306959f /scripts | |
parent | 2f69a407f93d8baff25ea15a500427fdc79e9fdf (diff) |
Move logging out of the makefile
So that it's possible to run the same scripts from the shell.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/log-command | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/log-command b/scripts/log-command deleted file mode 100755 index a2fc61d..0000000 --- a/scripts/log-command +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash - -exec $1 | tee -a $2 - -exit ${PIPESTATUS[0]} |