diff options
| author | Erich Eckner <git@eckner.net> | 2021-06-05 20:26:21 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-06-05 20:26:21 +0200 |
| commit | 6f59df0faa06e9e5b2127d8376b12bb1cf2db5fd (patch) | |
| tree | b380377a92c28beb05b8b249905b684fe4a7cd9e /lib/load-configuration | |
| parent | 8e9130a9d21a2d73f8c354e2a3f1d9ccc6f7ea73 (diff) | |
| download | builder-6f59df0faa06e9e5b2127d8376b12bb1cf2db5fd.tar.xz | |
make shellcheck happy again
Diffstat (limited to 'lib/load-configuration')
| -rwxr-xr-x | lib/load-configuration | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 6b2d7ff..4c825f1 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -38,7 +38,7 @@ else fi # dirty hack to get this stuff debugable from a bash -if [ "x${0##*/}" = "x-bash" ] || [ "x${0##*/}" = "xbash" ] || [ "x${0##*/}" = "xdash" ]; then +if [ "${0##*/}" = "-bash" ] || [ "${0##*/}" = "bash" ] || [ "${0##*/}" = "dash" ]; then set +e if [ -z "${base_dir}" ]; then base_dir=$(pwd) |