diff options
Diffstat (limited to 'tools/configure')
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 5ed0054556..a3bccbcb93 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -41,7 +41,7 @@ prefixtools () { | |||
| 41 | findarmgcc() { | 41 | findarmgcc() { |
| 42 | if [ "$ARG_ARM_EABI" = "1" ]; then | 42 | if [ "$ARG_ARM_EABI" = "1" ]; then |
| 43 | prefixtools arm-elf-eabi- | 43 | prefixtools arm-elf-eabi- |
| 44 | gccchoice="4.4.2" | 44 | gccchoice="4.4.3" |
| 45 | else | 45 | else |
| 46 | prefixtools arm-elf- | 46 | prefixtools arm-elf- |
| 47 | gccchoice="4.0.3" | 47 | gccchoice="4.0.3" |