git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Junio C Hamano <gitster@pobox.com>
Date
Aug 19, 2021, 19:42 UTC
Message-ID
<xmqq1r6p1ark.fsf@gitster.g>
In-Reply-To
<nycvar.QRO.7.76.6.2108181229320.55@tvgsbejvaqbjf.bet>
Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
> That would work, too. At the same time: wouldn't it be nicer to let `make
> -j15 strip install` Do The Right Thing?

Oh, absolutely. With "make all install" and "make strip install", building (and optional stripping) should complete before the "install" target kicks in.

It may be a bit tricky to implement, though. Making 'install' depend unconditionally on 'all' is trivial, but we want it to depend on 'strip' only when 'strip' is part of the targets requested.

Previous: Johannes Schindelin
Message 9 of 9 in “make: add install-strip target”
  1. make: add install-strip targetBagas Sanjaya, Aug 17, 2021
  2. Johannes SchindelinAug 17, 2021
  3. Eric SunshineAug 17, 2021
  4. Johannes SchindelinAug 18, 2021
  5. Junio C HamanoAug 19, 2021
  6. Johannes SchindelinAug 24, 2021
  7. Junio C HamanoAug 17, 2021
  8. Johannes SchindelinAug 18, 2021
  9. Junio C HamanoAug 19, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.