diff options
author | Matias Elo <matias.elo@nokia.com> | 2016-05-04 16:01:46 +0300 |
---|---|---|
committer | Mike Holmes <mike.holmes@linaro.org> | 2016-05-05 09:37:53 -0400 |
commit | 3610aae48fda044512f96458565d90d1e1ec895a (patch) | |
tree | 5899e96d0fd32ae979a9a80672d925077c74c88e /configure.ac | |
parent | 79085b187ff359cace325445a9d9ba5cc99190fb (diff) |
configure: detect ARCH correctly for 32-bit x86 hosts
Currently, 32-bit x86 host may end up using linux ARCH as
the host identifier is not recognized. Fix this by mapping
i686* to ARCH x86.
Signed-off-by: Matias Elo <matias.elo@nokia.com>
Reviewed-by: Bill Fischofer <bill.fischofer@linaro.org>
Signed-off-by: Mike Holmes <mike.holmes@linaro.org>
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 723c957e7..5e7e38020 100644 --- a/configure.ac +++ b/configure.ac @@ -60,6 +60,7 @@ AX_VALGRIND_CHECK ########################################################################## AS_CASE([$host], [x86*], [ARCH=x86], + [i686*], [ARCH=x86], [mips64*], [ARCH=mips64], [powerpc*], [ARCH=powerpc], [ARCH=linux] |