Enable build for armv5tel on armv7l.

diff --git a/tools/make-functions b/tools/make-functions
index 144411cd31a4471ffbf9c6de6b035393024b5886..a55f29cf77bcde3f2d0b56dc905dde551a527529 100644 (file)
--- a/tools/make-functions
+++ b/tools/make-functions
@@ -225,7 +225,7 @@ if [ 'x86_64' = $MACHINE -o 'i686' = $MACHINE -o 'i586' = $MACHINE ]; then
        CXXFLAGS="-O2 -march=i586 -pipe -fomit-frame-pointer"
        C2FLAGS="-O2 -march=i586 -mtune=i586 -pipe -fomit-frame-pointer"
        CXX2FLAGS="-O2 -march=i586 -mtune=i586 -pipe -fomit-frame-pointer"
-elif [ 'armv5tejl' = $MACHINE -o 'armv5tel' = $MACHINE ]; then
+elif [ 'armv5tejl' = $MACHINE -o 'armv5tel' = $MACHINE -o 'armv7l' = $MACHINE ]; then
        echo "`date -u '+%b %e %T'`: Machine is ARM (or equivalent)" >> $LOGFILE
        MACHINE=armv5tel
        MACHINE_TYPE=arm
@@ -235,7 +235,7 @@ elif [ 'armv5tejl' = $MACHINE -o 'armv5tel' = $MACHINE ]; then
        C2FLAGS="$CFLAGS"
        CXX2FLAGS="$CXXFLAGS"
 else
-       echo "`date -u '+%b %e %T'`: Can't determine your architecture - $MACHINE" >> $LOGFILE
+       echo "`date -u '+%b %e %T'`: Can't determine your architecture - $MACHINE"
        exit 1
 fi