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) diff --git a/tools/applymbox b/tools/git-applymbox similarity index 100% rename from tools/applymbox rename to tools/git-applymbox diff --git a/tools/applypatch b/tools/git-applypatch similarity index 100% rename from tools/applypatch rename to tools/git-applypatch