On Sat, Oct 15, 2016 at 01:38:37PM +0300, Martin Storsjö wrote:
> On Sat, 15 Oct 2016, Diego Biurrun wrote:
> >On Fri, Oct 14, 2016 at 10:29:58AM +0300, Martin Storsjö wrote:
> >>On Fri, 14 Oct 2016, Diego Biurrun wrote:
> >>>--- a/configure
> >>>+++ b/configure
> >>>@@ -261,7 +261,8 @@ Toolchain o
On Sat, 15 Oct 2016, Diego Biurrun wrote:
On Fri, Oct 14, 2016 at 10:29:58AM +0300, Martin Storsjö wrote:
On Fri, 14 Oct 2016, Diego Biurrun wrote:
>--- a/configure
>+++ b/configure
>@@ -261,7 +261,8 @@ Toolchain options:
> --toolchain=NAME set tool defaults according to NAME
> --nm=N
On Fri, Oct 14, 2016 at 10:29:58AM +0300, Martin Storsjö wrote:
> On Fri, 14 Oct 2016, Diego Biurrun wrote:
> >--- a/configure
> >+++ b/configure
> >@@ -261,7 +261,8 @@ Toolchain options:
> > --toolchain=NAME set tool defaults according to NAME
> > --nm=NM use nm tool
> >
On Fri, 14 Oct 2016, Diego Biurrun wrote:
---
configure | 16 +---
1 file changed, 9 insertions(+), 7 deletions(-)
diff --git a/configure b/configure
index d03707e..4d5dcf3 100755
--- a/configure
+++ b/configure
@@ -261,7 +261,8 @@ Toolchain options:
--toolchain=NAME set to