diff options
author | Petr Baudis <pasky@suse.cz> | 2005-08-05 01:56:38 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-08-12 10:38:23 -0700 |
commit | a682ef9f06075b4bb83dcf479c91d578125084b9 (patch) | |
tree | 2d9999f8bcbb038fbf8837eceb0d6da076e33351 /tools/Makefile | |
parent | Make CFLAGS overridable from make command line. (diff) | |
download | tgif-a682ef9f06075b4bb83dcf479c91d578125084b9.tar.xz |
[PATCH] Use $DESTDIR instead of $dest
$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>
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 480ce4aad3..779177c5a9 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -7,7 +7,7 @@ ALL_CFLAGS = $(CFLAGS) INSTALL=install prefix=$(HOME) bindir=$(prefix)/bin -# dest= +# DESTDIR= PROGRAMS=git-mailsplit git-mailinfo SCRIPTS=git-applymbox git-applypatch @@ -19,7 +19,7 @@ all: $(PROGRAMS) install: $(PROGRAMS) $(SCRIPTS) $(INSTALL) -m755 -d $(dest)$(bindir) - $(INSTALL) $(PROGRAMS) $(SCRIPTS) $(dest)$(bindir) + $(INSTALL) $(PROGRAMS) $(SCRIPTS) $(DESTDIR)$(bindir) clean: rm -f $(PROGRAMS) *.o |