+elif [ 'armv5tejl' = $MACHINE -o 'armv5tel' = $MACHINE ]; then
+ echo "`date -u '+%b %e %T'`: Machine is ARM (or equivalent)" >> $LOGFILE
+ MACHINE=armv5tel
+ MACHINE_TYPE=arm
+ BUILDTARGET=${MACHINE}-unknown-linux-gnueabi
+ CFLAGS="-O2 -march=armv5te -fomit-frame-pointer -pipe"
+ CXXFLAGS="$CFLAGS"
+ C2FLAGS="$CFLAGS"
+ CXX2FLAGS="$CXXFLAGS"