diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 8e7252e592..5c07cec0ea 100644 --- 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 |