diff options
| -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]}" |