diff options
Diffstat (limited to 'toolchain/gcc/Config.version')
| -rw-r--r-- | toolchain/gcc/Config.version | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toolchain/gcc/Config.version b/toolchain/gcc/Config.version index f8f4445fcc..c378513fdd 100644 --- a/toolchain/gcc/Config.version +++ b/toolchain/gcc/Config.version @@ -17,6 +17,7 @@ config GCC_VERSION default "4.6.2" if GCC_VERSION_4_6_2 default "4.6.3" if GCC_VERSION_4_6_3 default "4.7.0" if GCC_VERSION_4_7_0 + default "4.7.2" if GCC_VERSION_4_7_2 default "4.5-linaro" if GCC_VERSION_4_5_LINARO default "4.6-linaro" if GCC_VERSION_4_6_LINARO default "4.7-linaro" if GCC_VERSION_4_7_LINARO @@ -37,7 +38,7 @@ config GCC_VERSION_4_6 config GCC_VERSION_4_7 bool - default y if (GCC_VERSION_4_7_0 || GCC_VERSION_4_7_LINARO) + default y if (GCC_VERSION_4_7_0 || GCC_VERSION_4_7_2 || GCC_VERSION_4_7_LINARO) if !TOOLCHAINOPTS |