diff options
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 142f3f6169..c36489f1d7 100755 --- a/tools/configure +++ b/tools/configure @@ -40,7 +40,7 @@ prefixtools () { } findarmgcc() { - 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" + models_not_checked_with_eabi="iriverh10 iriverh10_5gb ipodcolor ipodnano1g ipodvideo ipod3g ipod4g ipodmini1g ipodmini2g ipod1g2g ipodnano2g iaudio7 cowond2 mrobe500 mrobe100 sansae200 sansac200 sansae200r vibe500" if [ "$ARG_ARM_EABI" != 1 ]; then # eabi not explicitely enabled for model in $models_not_checked_with_eabi; do if [ "$modelname" = "$model" ]; then |