Configure: If cross-compiling to linux, pick the proper hints file

Something like arm-linux-gnueabihf -- which is what the raspberry pi
gets as its targetarch -- is really just plain Linux, so set osname
to that and load up the hints file.

diff --git a/Configure b/Configure
index 7fc99b5..a6fa428 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -3550,6 +3550,11 @@ EOM
                     # and i686-linux-android
                     osname=linux-android
                     ;;
+                *linux*)
+                    # Something like arm-linux-gnueabihf is really just
+                    # plain linux.
+                    osname=linux
+                    ;;
                 *)
                     osname=`echo $targetarch|sed 's,^[^-]*-,,'`
                 ;;