On 09/29/2014 09:40 AM, Will Newton wrote:

  Can you use Gerrit for these (ie... git-review) ? Otherwise I'll patch
manually.

    - rob -

> ---
>  lib/make.sh | 9 ++++++++-
>  1 file changed, 8 insertions(+), 1 deletion(-)
>
> diff --git a/lib/make.sh b/lib/make.sh
> index fb7137c..b917ece 100755
> --- a/lib/make.sh
> +++ b/lib/make.sh
> @@ -460,8 +460,15 @@ make_install()
>          local srcdir="`get_srcdir $1 ${2:+$2}`"
>          if test `echo ${target} | grep -c aarch64` -gt 0; then
>              dryrun "make ${make_opts} -C ${srcdir} headers_install 
> ARCH=arm64 INSTALL_HDR_PATH=${sysroots}/usr"
> -        else
> +        elif test `echo ${target} | grep -c i.86` -gt 0; then
> +            dryrun "make ${make_opts} -C ${srcdir} headers_install ARCH=i386 
> INSTALL_HDR_PATH=${sysroots}/usr"
> +        elif test `echo ${target} | grep -c x86_64` -gt 0; then
> +            dryrun "make ${make_opts} -C ${srcdir} headers_install 
> ARCH=x86_64 INSTALL_HDR_PATH=${sysroots}/usr"
> +        elif test `echo ${target} | grep -c arm` -gt 0; then
>              dryrun "make ${make_opts} -C ${srcdir} headers_install ARCH=arm 
> INSTALL_HDR_PATH=${sysroots}/usr"
> +        else
> +            warning "Unknown arch for make headers_install!"
> +            return 1
>          fi
>          if test $? != "0"; then
>              warning "Make headers_install failed!"


_______________________________________________
linaro-toolchain mailing list
linaro-toolchain@lists.linaro.org
http://lists.linaro.org/mailman/listinfo/linaro-toolchain

Reply via email to