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 9654cc67f9..505598fba1 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -42,7 +42,7 @@ prefixtools () { | |||
42 | findarmgcc() { | 42 | findarmgcc() { |
43 | if [ "$ARG_ARM_EABI" = "1" ]; then | 43 | if [ "$ARG_ARM_EABI" = "1" ]; then |
44 | prefixtools arm-elf-eabi- | 44 | prefixtools arm-elf-eabi- |
45 | gccchoice="4.4.3" | 45 | gccchoice="4.4.4" |
46 | else | 46 | else |
47 | prefixtools arm-elf- | 47 | prefixtools arm-elf- |
48 | gccchoice="4.0.3" | 48 | gccchoice="4.0.3" |