Detect some more ARM CPU types.

Patch taken from the Debian package by Sam Hocevar.

Originally committed as revision 6870 to svn://svn.ffmpeg.org/ffmpeg/trunk

diff --git a/configure b/configure
index ff12f64..22be3a3 100755 (executable)
--- a/configure
+++ b/configure
@@ -366,8 +366,8 @@ case "$arch" in
       fi
     fi
   ;;
-  # armv4l is a subset of armv5tel
-  arm|armv4l|armv5tel)
+  # armv4l is a subset of armv[567]*l
+  arm|armv[4567]*l)
     arch="armv4l"
   ;;
   alpha)