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

Re: [PATCH] Use $DESTDIR instead of $dest

From
Junio C Hamano <junkio@cox.net>
Date
Aug 5, 2005, 23:17 UTC
Message-ID
<7v4qa4geiq.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<20050804235638.GL24479@pasky.ji.cz>
Petr Baudis <pasky@suse.cz> writes:
> $DESTDIR is more usual during the build than $dest and is what is usually
> used in the makefiles, so let's use it too.

While I do not have much preference either way, I do not want to make this kind of change without making corresponding changes to the spec.in and debian/rules file in the same commit, or another commit that immediately follow it. And I wanted to do a 0.99.4 tomorrow, so I hope you would not mind if I placed this on hold...

Previous: Petr BaudisNext: Petr Baudis
Message 3 of 4 in “Use $DESTDIR instead of $dest”
  1. Use $DESTDIR instead of $destPetr Baudis, Aug 4, 2005
  2. Use $DESTDIR instead of $destPetr Baudis, Aug 4, 2005
  3. Junio C HamanoAug 5, 2005
  4. Petr BaudisAug 9, 2005

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.