projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: a682ef9)
[PATCH] Use $DESTDIR instead of $dest
authorPetr Baudis <pasky@suse.cz>
Thu, 4 Aug 2005 23:56:38 +0000 (01:56 +0200)
committerJunio C Hamano <junkio@cox.net>
Fri, 12 Aug 2005 17:38:23 +0000 (10:38 -0700)
$DESTDIR is more usual during the build than $dest and is what
is usually used in the makefiles, so let's use it too.

Signed-off-by: Petr Baudis <pasky@ucw.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>

No differences found
The core git plumbing