Change-Id: I5f1d6a591fdff247328f72e1b531a0e1b0aaf9d1
if echo "$host_os" | grep '.*-gnulibc1' > /dev/null ; then
host_os=`echo "${host_os}" | sed 's/-gnulibc1$//'`
fi
+if echo "$host_os" | grep '.*-gnueabihf' > /dev/null ; then
+ host_os=`echo "${host_os}" | sed 's/-gnueabihf$//'`
+ host_os_gnu=-gnueabihf
+fi
if echo "$host_os" | grep '.*-gnueabi' > /dev/null ; then
host_os=`echo "${host_os}" | sed 's/-gnueabi$//'`
host_os_gnu=-gnueabi
archcolor: armv5tejl 1
archcolor: armv6l 1
archcolor: armv7l 1
+archcolor: armv7hl 1
archcolor: m68kmint 1