diff options
author | Alexey Neyman <stilor@att.net> | 2017-01-16 17:01:10 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-16 17:01:10 (GMT) |
commit | cc30c2c880dd5c771b8c5935baf13d505a5ca3d1 (patch) | |
tree | a92fde117682b0af6200bda5eabb64d920ea5726 /scripts/addToolVersion.sh | |
parent | 16a7f7bde73954570babb44c45b66afd83b7414d (diff) | |
parent | fb58775a46bae7e587e888fc481e7483773e99ee (diff) |
Merge pull request #533 from stilor/gdb-7.12
Gdb 7.12
Diffstat (limited to 'scripts/addToolVersion.sh')
-rwxr-xr-x | scripts/addToolVersion.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index 90eac2f..bbab82e 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -158,6 +158,7 @@ addToolVersion() { gdb) # gdb-7.0 and above have special handling ver_M=$(getVersionField "${version}" . 1) + ver_m=$(getVersionField "${version}" . 2) if [ ${ver_M} -ge 7 ]; then if [ ${ver_m} -ge 2 ]; then SedExpr1="${SedExpr1}\n select GDB_7_2_or_later" |