diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-01-15 23:36:26 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-01-15 23:36:26 +0300 |
| commit | e54523199b6cbc36d49523ffd66b0d695cd0b755 (patch) | |
| tree | 36833d05bce8b94e9226585b4ac950d608f501b4 | |
| parent | fix_nt_symbol_path.sh: interface update (diff) | |
| download | windows-tmp-e54523199b6cbc36d49523ffd66b0d695cd0b755.tar.gz windows-tmp-e54523199b6cbc36d49523ffd66b0d695cd0b755.zip | |
bugfix
* Add missing '--'s.
Diffstat (limited to '')
| -rwxr-xr-x | 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 ae06aa4..30984fa 100755 --- 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 -readonly script_argv0="$( printf '%q' "${BASH_SOURCE[0]}" )" -readonly script_dir="$( cd "$( dirname -- "$script_argv0" )" && pwd )" +readonly script_argv0="$( printf -- '%q' "${BASH_SOURCE[0]}" )" +readonly script_dir="$( cd -- "$( dirname -- "$script_argv0" )" && pwd )" dump() { local prefix="${FUNCNAME[0]}" |