diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 5c07cec0ea..a16b667964 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -10,8 +10,11 @@ prefix=$(HOME) bin=$(prefix)/bin # dest= -PROGRAMS=mailsplit mailinfo -SCRIPTS=applymbox applypatch +PROGRAMS=git-mailsplit git-mailinfo +SCRIPTS=git-applymbox git-applypatch + +git-%: %.c + $(CC) $(CFLAGS) -o $@ $(filter %.c,$^) all: $(PROGRAMS) |