Re: [PATCH] make: add install-strip target

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Aug 18, 2021, 10:30 UTC
Message-ID: <nycvar.QRO.7.76.6.2108181229320.55@tvgsbejvaqbjf.bet>
In-Reply-To: <xmqq8s0z7m9m.fsf@gitster.g>

Hi Junio,

On Tue, 17 Aug 2021, Junio C Hamano wrote:

Show 10 quoted lines

> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
>
> > Would those `all` and `strip` targets interfere with one another if `make
> > -j2` was called? If not, wouldn't it be sufficient to let `install-strip`
> > depend on `strip` alone?
>
> Good question.
>
> I would have expected that this will *not* be a new target, but some
> sort of make variable (e.g. "make INSTALL_STRIP=yes install").

That would work, too. At the same time: wouldn't it be nicer to let `make -j15 strip install` Do The Right Thing?

Ciao, Dscho