Re: [PATCH] NEWS: mention the change in default build flags

Subject: Re: [PATCH] NEWS: mention the change in default build flags

Date: Wed, 08 Oct 2014 07:59:06 +0200

To: Tomi Ollila, notmuch@notmuchmail.org

Cc:

From: David Bremner


Tomi Ollila <tomi.ollila@iki.fi> writes:

> On Sun, Oct 05 2014, David Bremner <david@tethera.net> wrote:
>
>> It blows things up by a factor of six or so, so it's worth giving
>> people a heads up. It won't effect e.g. Debian, that already builds
>> with -g and then strips.
>
> Maybe SomeOne(™) could make a patch that strip(1)s at make install time ?
>
> Tomi

OK, but according to 

    https://www.gnu.org/prep/standards/html_node/Standard-Targets.html

(which I defer to when it's convenient and agrees with me ;) 

it should be in a seperate install-strip target

d

Thread: