aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--fix_nt_symbol_path.sh4
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]}"