diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-05 12:11:23 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-05 12:13:07 +0200 |
| commit | 0eecec43af96dd9d7917d12f6c031e8c98a769d9 (patch) | |
| tree | 823f947287db032d4a84d43341ef74be64a976bb | |
| parent | eca654f372c4b10508121dc056d6c0939d4685b9 (diff) | |
| download | builder-0eecec43af96dd9d7917d12f6c031e8c98a769d9.tar.xz | |
lib/load-configuration: do not "set -e" if sourced from shell
| -rwxr-xr-x | lib/load-configuration | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index fc766a5..6a94976 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -25,6 +25,7 @@ fi # dirty hack to get this stuff debugable from a bash if [ "x${0##*/}" = "x-bash" ] || [ "x${0##*/}" = "xbash" ] || [ "x${0##*/}" = "xdash" ]; then base_dir=$(pwd) + set +e else base_dir=$(printf '%s/..' "$(dirname "$(readlink -f "$0")")") fi |