From c7be363ef34d1228ad3d1d1aeba4911fbde1242f Mon Sep 17 00:00:00 2001 From: Daniel Narvaez Date: Fri, 16 Nov 2012 08:50:36 +0000 Subject: Move logging out of the makefile So that it's possible to run the same scripts from the shell. --- (limited to 'scripts') 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]} -- cgit v0.9.1