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 b7d17411b4..142f3f6169 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="iriverh10 iriverh10_5gb ipodcolor ipodnano1g ipodvideo ipod3g ipod4g ipodmini1g ipodmini2g ipod1g2g ipodnano2g iaudio7 cowond2 gigabeatfx gigabeats mrobe500 mrobe100 sansae200 sansac200 sansae200r vibe500" | 43 | models_not_checked_with_eabi="iriverh10 iriverh10_5gb ipodcolor ipodnano1g ipodvideo ipod3g ipod4g ipodmini1g ipodmini2g ipod1g2g ipodnano2g iaudio7 cowond2 gigabeatfx mrobe500 mrobe100 sansae200 sansac200 sansae200r vibe500" |
| 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 |