diff options
Diffstat (limited to 'scripts/addToolVersion.sh')
| -rwxr-xr-x | scripts/addToolVersion.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index cf2b5945..dbd12439 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -73,7 +73,7 @@ addToolVersion() { [ -f "${file}" ] || return 0 - v=$(echo "${version}" |"${sed_r}" -e 's/-/_/g; s/\./_/g;') + v=$(echo "${version}" |"${sed}" -r -e 's/-/_/g; s/\./_/g;') config_ver_option="${cat}_V_${v}" |