diff options
Diffstat (limited to 'devel/cil/files/patch-bin_teetwo.sh')
| -rw-r--r-- | devel/cil/files/patch-bin_teetwo.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/cil/files/patch-bin_teetwo.sh b/devel/cil/files/patch-bin_teetwo.sh new file mode 100644 index 000000000000..9b0335259bda --- /dev/null +++ b/devel/cil/files/patch-bin_teetwo.sh @@ -0,0 +1,8 @@ +--- bin/teetwo.orig 2011-11-13 08:39:24.000000000 +0100 ++++ bin/teetwo 2011-11-13 08:39:27.000000000 +0100 +@@ -1,4 +1,4 @@ +-#!/bin/bash ++#!/bin/sh + # run a command, sending stdout to one file and stderr to another, + # but also sending both to this process' stdout/stderr, respectively + |