[PATCH] Use $DESTDIR instead of $dest

From: Petr Baudis <pasky@ucw.cz>
Date: Aug 4, 2005, 22:55 UTC
Message-ID: <20050804225529.GJ24479@pasky.ji.cz>

$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>

--- commit ffc29a11e9be157e2349d431adadf1b6e91a2251 tree fbd1076ed78c609777f81094cb8989b5b32973da parent aa6f095b0cd57ab424f02695ccfc8168f5c3b981 author Petr Baudis <pasky@suse.cz> Fri, 05 Aug 2005 00:54:52 +0200 committer Petr Baudis <xpasky@machine.sinus.cz> Fri, 05 Aug 2005 00:54:52 +0200

 Makefile |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ prefix=$(HOME)
 bindir=$(prefix)/bin
 etcdir=$(prefix)/etc
 etcgitdir=$(etcdir)/git-core
-# dest=
+# DESTDIR=
 
 CC?=gcc
 AR?=ar
@@ -197,8 +197,8 @@ check:
 ### Installation rules
 
 install: $(PROG) $(SCRIPTS)
-	$(INSTALL) -m755 -d $(dest)$(bindir)
-	$(INSTALL) $(PROG) $(SCRIPTS) $(dest)$(bindir)
+	$(INSTALL) -m755 -d $(DESTDIR)$(bindir)
+	$(INSTALL) $(PROG) $(SCRIPTS) $(DESTDIR)$(bindir)
 	$(MAKE) -C templates install
 
 install-tools: