diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-02 13:28:20 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-02 13:28:20 +0200 |
| commit | fd5305cad10db8038377379fbeb227cdbdfc11c2 (patch) | |
| tree | 575baa6b5c80db170c3e310f671e4e65263ab49d /conf/default.conf | |
| parent | 3f2218ea62d9dca79b20e8ee3d7457adea7dbf79 (diff) | |
| download | builder-fd5305cad10db8038377379fbeb227cdbdfc11c2.tar.xz | |
conf/default.conf: make work even better in bash (did it work before at all?)
Diffstat (limited to 'conf/default.conf')
| -rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index 94ef1db..60cf53c 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -5,7 +5,7 @@ set -e # dirty hack to get this stuff debugable from a bash -if [ "x$0" == "x-bash" ]; then +if [ "x$0" == "x-bash" ] || [ "x$0" == "xbash" ]; then base_dir="$(pwd)" else base_dir="$(dirname "$(readlink -f "$0")")/.." |