diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:47:34 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-12-20 18:47:34 +0100 |
commit | 0c714356dc7f78892ca413ce1895d7d9dfa83c5c (patch) | |
tree | c6f7dd54ae2f9961ec4529b5d222ef46a0a784ee /src/core/libs/lib-misc.sh | |
parent | 78bbe06321a9724311449a38ea9134d227d95a98 (diff) |
fix for incorrect shebangs
Diffstat (limited to 'src/core/libs/lib-misc.sh')
-rw-r--r-- | src/core/libs/lib-misc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/libs/lib-misc.sh b/src/core/libs/lib-misc.sh index 29e4c2e..f45c5c9 100644 --- a/src/core/libs/lib-misc.sh +++ b/src/core/libs/lib-misc.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # run a process in the background, and log it's stdout and stderr to a specific logfile |