summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMikhail Kashkarov <m.kashkarov@partner.samsung.com>2017-05-11 12:25:38 +0300
committerJaehun Jeong <jh4u.jeong@samsung.com>2017-07-05 09:22:51 +0900
commit0015ba452315de3e59b1b9c4af45d7d2b2629c5a (patch)
tree66232aae040d35acea231c2af4d5d7d481d0c998
parent4998addba8f80a46875b84d7a9a20f4ccddff863 (diff)
downloadrpm-sandbox/jaehun77/hardfp.tar.gz
rpm-sandbox/jaehun77/hardfp.tar.bz2
rpm-sandbox/jaehun77/hardfp.zip
Add armv7hl support.sandbox/jaehun77/hardfp
Change-Id: I5f1d6a591fdff247328f72e1b531a0e1b0aaf9d1
-rw-r--r--configure.ac4
-rw-r--r--rpmrc.in1
2 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 9fe27029f..fcee7545f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -825,6 +825,10 @@ host_os_gnu=-gnu
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
diff --git a/rpmrc.in b/rpmrc.in
index 19626000a..da65a80ff 100644
--- a/rpmrc.in
+++ b/rpmrc.in
@@ -107,6 +107,7 @@ archcolor: armv5tel 1
archcolor: armv5tejl 1
archcolor: armv6l 1
archcolor: armv7l 1
+archcolor: armv7hl 1
archcolor: m68kmint 1