diff options
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index c805f2250e..2e80e6d1d8 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -40,7 +40,7 @@ prefixtools () { | |||
| 40 | } | 40 | } |
| 41 | 41 | ||
| 42 | findarmgcc() { | 42 | findarmgcc() { |
| 43 | models_not_checked_with_eabi="ipodnano1g ipod4g ipodmini1g ipod1g2g vibe500 cowond2" | 43 | models_not_checked_with_eabi="ipodnano1g ipod4g ipodmini1g vibe500 cowond2" |
| 44 | if [ "$ARG_ARM_EABI" != 1 ]; then # eabi not explicitely enabled | 44 | if [ "$ARG_ARM_EABI" != 1 ]; then # eabi not explicitely enabled |
| 45 | for model in $models_not_checked_with_eabi; do | 45 | for model in $models_not_checked_with_eabi; do |
| 46 | if [ "$modelname" = "$model" ]; then | 46 | if [ "$modelname" = "$model" ]; then |