diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-10-20 04:44:13 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-10-20 04:44:13 +0300 |
| commit | c535de13988a367fe07f751db55863f9f03b667a (patch) | |
| tree | e756c587e1fba2149daf500525850e0b9da6208e | |
| parent | code style (diff) | |
| download | windows-tmp-c535de13988a367fe07f751db55863f9f03b667a.tar.gz windows-tmp-c535de13988a367fe07f751db55863f9f03b667a.zip | |
code style
| -rw-r--r-- | fix_nt_symbol_path.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fix_nt_symbol_path.sh b/fix_nt_symbol_path.sh index 71cf21e..9236ae1 100644 --- a/fix_nt_symbol_path.sh +++ b/fix_nt_symbol_path.sh @@ -17,8 +17,8 @@ set -o errexit set -o nounset set -o pipefail -script_argv0="${BASH_SOURCE[0]}" -script_dir="$( cd "$( dirname "$script_argv0" )" && pwd )" +readonly script_argv0="${BASH_SOURCE[0]}" +readonly script_dir="$( cd "$( dirname "$script_argv0" )" && pwd )" dump() { local prefix="${FUNCNAME[0]}" |