1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00

Adding GDB 7.12 to the download-build-gdb.sh script

Change-Id: Iac977f0ab83429cc931f413664c7789bb9c9e913
This commit is contained in:
Alvaro Sanchez-Leon 2016-10-11 10:15:54 -04:00
parent 37b722500d
commit bd2fc5fc6a

View file

@ -27,7 +27,7 @@ default_jlevel="4"
jlevel="${default_jlevel}"
# Supported versions
default_versions="6.6 6.7.1 6.8 7.0.1 7.1 7.2 7.3.1 7.4.1 7.5.1 7.6.2 7.7.1 7.8.2 7.9.1 7.10.1 7.11.1"
default_versions="6.6 6.7.1 6.8 7.0.1 7.1 7.2 7.3.1 7.4.1 7.5.1 7.6.2 7.7.1 7.8.2 7.9.1 7.10.1 7.11.1 7.12"
# Is set to "echo" if we are doing a dry-run.
dryrun=""