Re: Debian EABI arm port name: armel

[Martin Guy]

> earmel and earmeb?

would confuse scripts that say
case "$ARCH" in
arm*) stuff ;;
mips*) other_stuff ;;
esac

I mean, they could be modified, yes, but arm* is less trouble.

    M