Hi
On Fri, Jun 26, 2015 at 3:26 PM, Peter Maydell
wrote:
> Doesn't this mean we're now going to just drop a bunch of the
> logging on the floor in the case where the user didn't say --help?
> That doesn't sound great...
>
>
It drops a few arch checks before help:
cc -D_GNU_SOURCE -D_FILE_OFFSET
On 25 June 2015 at 23:38, Marc-André Lureau wrote:
> It's nice to keep the config.log used to configure the build.
>
> Signed-off-by: Marc-André Lureau
> ---
> configure | 35 +++
> 1 file changed, 19 insertions(+), 16 deletions(-)
>
> diff --git a/configure b/con
On 26/06/2015 00:38, Marc-André Lureau wrote:
> It's nice to keep the config.log used to configure the build.
>
> Signed-off-by: Marc-André Lureau
> ---
> configure | 35 +++
> 1 file changed, 19 insertions(+), 16 deletions(-)
>
> diff --git a/configure b/confi
It's nice to keep the config.log used to configure the build.
Signed-off-by: Marc-André Lureau
---
configure | 35 +++
1 file changed, 19 insertions(+), 16 deletions(-)
diff --git a/configure b/configure
index 1626c2e..dcd15a9 100755
--- a/configure
+++ b/configu
