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

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

From
Petr Baudis <pasky@suse.cz>
Date
Aug 9, 2005, 20:57 UTC
Message-ID
<20050809205725.GG7052@pasky.ji.cz>
In-Reply-To
<7v4qa4geiq.fsf@assigned-by-dhcp.cox.net>

Dear diary, on Sat, Aug 06, 2005 at 01:17:17AM CEST, I got a letter where Junio C Hamano <junkio@cox.net> told me that...

Show 11 quoted lines
> 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...

No problem, this was just some of the last tidbits wrt. synchronization of the makefiles with Cogito.

-- 
				Petr "Pasky" Baudis
Stuff: http://pasky.or.cz/
If you want the holes in your knowledge showing up try teaching
someone.  -- Alan Cox
Previous: Junio C Hamano
Message 4 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.