Re: [PATCH] Makefile: add and use the ".DELETE_ON_ERROR" flag

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Jun 23, 2021, 19:09 UTC
Message-ID: <60d386cecafeb_4290208e4@natae.notmuch>
In-Reply-To: <YNIBRboFiCRAq3aA@nand.local>

Taylor Blau wrote:

Show 6 quoted lines

> I do think that .DELETE_ON_ERROR is less robust when running "make" in
> one terminal and inspecting the result in another, but I'm also not sure
> how much we should be concerned about that. On the other hand, we lose
> a nice property of our existing Makefile which is that you can always
> run ./git and get a working binary. The new state is that you might see
> a half-written binary.

How would that happen? First, the git target isn't changed, and second, gcc (and presumably other compilers/linkers) wouldn't write the binary if interrupted.

-- 
Felipe Contreras

$ 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.