[PATCH] Install tools with "make install-tools".

diff --git a/tools/Makefile b/tools/Makefile
index 8e7252e592e1eab9cdacdb12a09ce9cd5ab5528e..5c07cec0eaf51ee4421712f60bdbfd3fc21a3dcd 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -1,6 +1,14 @@
+#
+# Make Linus git-tools
+#
 CC=gcc
-CFLAGS=-Wall -O2
+COPTS=-O2
+CFLAGS=-g $(COPTS) -Wall
+INSTALL=install
 HOME=$(shell echo $$HOME)
+prefix=$(HOME)
+bin=$(prefix)/bin
+# dest=
 
 PROGRAMS=mailsplit mailinfo
 SCRIPTS=applymbox applypatch
@@ -8,7 +16,8 @@ SCRIPTS=applymbox applypatch
 all: $(PROGRAMS)
 
 install: $(PROGRAMS) $(SCRIPTS)
-       cp -f $(PROGRAMS) $(SCRIPTS) $(HOME)/bin/
+       $(INSTALL) -m755 -d $(dest)$(bin)
+       $(INSTALL) $(PROGRAMS) $(SCRIPTS) $(dest)$(bin)
 
 clean:
        rm -f $(PROGRAMS) *.o