diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2016-11-15 08:57:50 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2016-11-15 08:57:50 +0300 |
| commit | df0941c58a8cd23c95868d762e50934a82ec40be (patch) | |
| tree | cc49e8795f6921fd2acf932043a2692ebd8636c9 | |
| parent | bugfix & code style (diff) | |
| download | windows-tmp-df0941c58a8cd23c95868d762e50934a82ec40be.tar.gz windows-tmp-df0941c58a8cd23c95868d762e50934a82ec40be.zip | |
fix_nt_symbol_path.sh: interface update
| -rwxr-xr-x | fix_nt_symbol_path.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fix_nt_symbol_path.sh b/fix_nt_symbol_path.sh index b8ef3bd..ae06aa4 100755 --- a/fix_nt_symbol_path.sh +++ b/fix_nt_symbol_path.sh @@ -17,7 +17,7 @@ set -o errexit set -o nounset set -o pipefail -readonly script_argv0="${BASH_SOURCE[0]}" +readonly script_argv0="$( printf '%q' "${BASH_SOURCE[0]}" )" readonly script_dir="$( cd "$( dirname -- "$script_argv0" )" && pwd )" dump() { |