diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-13 14:28:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-13 14:28:13 +0200 |
| commit | 8a8d2d7644c275cea599ac91d2d83154c91547a9 (patch) | |
| tree | 1bde11adf85aca9169b4fa4b02382e4cd24ab5de /bin | |
| parent | 155fca910c9f5eab655eec885614db97396544b1 (diff) | |
| download | builder-8a8d2d7644c275cea599ac91d2d83154c91547a9.tar.xz | |
bin/interpret-mail: make "err" local
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/interpret-mail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/interpret-mail b/bin/interpret-mail index 92725b6..e515b3c 100755 --- a/bin/interpret-mail +++ b/bin/interpret-mail @@ -61,6 +61,8 @@ log_from_file() { } run_and_log_on_error() { + # shellcheck disable=SC2039 + local err err=0 "$@" 2> "${tmp_dir}/stderr" > "${tmp_dir}/stdout" || \ err=$? |