diff options
author | John Denker <jsd@av8n.com> | 2012-07-15 06:43:36 -0700 |
---|---|---|
committer | John Denker <jsd@av8n.com> | 2012-07-15 06:43:36 -0700 |
commit | ffc4b5ce605253957b2a0ce82cf924c669806590 (patch) | |
tree | 0c312a3c58a91700893bc3ad6548d730ea9b2a37 /tools/makefile | |
parent | b0f78b272c97b7cc3ff1fbe6c48fd2151d039613 (diff) |
primitive grep-like thing for looking at mail headers
Diffstat (limited to 'tools/makefile')
-rw-r--r-- | tools/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makefile b/tools/makefile index 3803e44..7f5dcef 100644 --- a/tools/makefile +++ b/tools/makefile @@ -10,7 +10,7 @@ CC= /usr/bin/g++ -Wall -g -I $(HOME)/lib/include .SECONDARY : # do not remove any intermediate files -progs = pido hi-q skrewt hi-test +progs = pido hi-q skrewt hi-test mail-scan all: $(progs) |