diff options
author | 2017-02-17 18:42:31 (GMT) | |
---|---|---|
committer | 2017-02-17 18:42:31 (GMT) | |
commit | eb8c9024b4fe51925aff3d8d158188a97034a445 (patch) | |
tree | 40fd555a6ccfca5b6c6b39af61248e6a0be6e452 /scripts/addToolVersion.sh | |
parent | 16b1bdb89410b67bcf85f67caee13682025cdde9 (diff) | |
parent | 4d17f393bdecbef632f4f6e2aa6ec44951c5a4c4 (diff) |
Merge pull request #604 from stilor/strace-4.16
Strace 4.16
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 cf2b594..5631a5f 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}" |