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 10:14:24 +0300

To: David Bremner, notmuch@notmuchmail.org

Cc:

From: Tomi Ollila


On Wed, Oct 08 2014, David Bremner <david@tethera.net> wrote:

> 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

Fine. I think this situation os tolerable (i.e. we presumable do not have 
install-strip target done (just yet))

So, patch LGTM.

>
> d

Tomi

Thread: