diff --git a/tools/get_version.sh b/tools/get_version.sh
old mode 100644
new mode 100755