diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 0b9d6c4077..b2e4921999 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_5gb ipodcolor ipodnano1g ipod3g ipod4g ipodmini1g ipodmini2g ipod1g2g ipodnano2g iaudio7 cowond2 mrobe500 mrobe100 sansac200 vibe500" | 43 | models_not_checked_with_eabi="ipodcolor ipodnano1g ipod3g ipod4g ipodmini1g ipodmini2g ipod1g2g ipodnano2g iaudio7 cowond2 mrobe500 mrobe100 sansac200 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 |