Rename the "tools" programs to also have the "git-" prefix

Hey, people are using them, and we have an install target for them, so make sure that we can actually install them sanely without disturbing the namespace.
git-mirror · Jul 24, 2005 · fd1fcd9 · fd1fcd9
1 parent c0a58fb
commit fd1fcd9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git 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 → tools/git-applymbox b/tools/applymbox → tools/git-applymbox
diff --git a/tools/applypatch → tools/git-applypatch b/tools/applypatch → tools/git-applypatch