diff options
| -rw-r--r-- | tools/Makefile | 7 | ||||
| -rwxr-xr-x | tools/git-applymbox (renamed from tools/applymbox) | 0 | ||||
| -rwxr-xr-x | tools/git-applypatch (renamed from tools/applypatch) | 0 |
3 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) diff --git a/tools/applymbox b/tools/git-applymbox index bc2dbf26a9..bc2dbf26a9 100755 --- a/tools/applymbox +++ b/tools/git-applymbox diff --git a/tools/applypatch b/tools/git-applypatch index 5a3a44b0e6..5a3a44b0e6 100755 --- a/tools/applypatch +++ b/tools/git-applypatch |