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

From: Petr Baudis <>
Date: 2005-08-10 06:57:25
Dear diary, on Sat, Aug 06, 2005 at 01:17:17AM CEST, I got a letter
where Junio C Hamano <> told me that...
> Petr Baudis <> 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 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
If you want the holes in your knowledge showing up try teaching
someone.  -- Alan Cox
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at
Received on Wed Aug 10 07:09:25 2005

This archive was generated by hypermail 2.1.8 : 2005-08-10 07:09:27 EST