From: Bagas Sanjaya <bagasdotme@gmail.com>
Date: Tue, 24 Aug 2021 09:39:44 GMT
Subject: Re: [PATCH] make: add INSTALL_STRIP variable
Message-ID: <6e0ef7f2-3dd0-09e4-5a1d-7e59b979d624@gmail.com>
In-Reply-To: <xmqq5yvwrw8s.fsf@gitster.g>

On 23/08/21 22.55, Junio C Hamano wrote:
> Perhaps.  One bad thing with the current "strip" arrangement is that
> it is done in the built directory, and because "make install" would
> blindly install whatever in the built directory, if you truly care
> that you install unstripped binaries, you need to see if they are
> stripped and rebuild them as needed, because "make strip" may or may
> not have been done.  From that point of view, getting rid of the
> current "make strip" and introducing either "make strip-installed"
> ("we've installed things earlier---go strip them") or "make
> install-stripped" ("we've built (or if we haven't please build them
> first), now install them and strip them in the installed directory")
> may make more sense.  And for that, any idea that came up in this
> discussion that relies on the current "strip" target would not help.

But often the installed directory (install prefix) is owned by root,
so one has to `sudo make install-strip`, right?

-- 
An old man doll... just what I always wanted! - Clara