tools / Makefileon commit [PATCH] git-branch: avoid getting confused by empty or nonexisting branches. (a38e727)
   1CC=gcc
   2CFLAGS=-Wall -O2
   3HOME=$(shell echo $$HOME)
   4
   5PROGRAMS=mailsplit mailinfo
   6SCRIPTS=applymbox applypatch
   7
   8all: $(PROGRAMS)
   9
  10install: $(PROGRAMS) $(SCRIPTS)
  11        cp -f $(PROGRAMS) $(SCRIPTS) $(HOME)/bin/
  12
  13clean:
  14        rm -f $(PROGRAMS) *.o