summaryrefslogtreecommitdiff
path: root/tools/makefile
diff options
context:
space:
mode:
authorJohn Denker <jsd@av8n.com>2012-07-15 06:43:36 -0700
committerJohn Denker <jsd@av8n.com>2012-07-15 06:43:36 -0700
commitffc4b5ce605253957b2a0ce82cf924c669806590 (patch)
tree0c312a3c58a91700893bc3ad6548d730ea9b2a37 /tools/makefile
parentb0f78b272c97b7cc3ff1fbe6c48fd2151d039613 (diff)
primitive grep-like thing for looking at mail headers
Diffstat (limited to 'tools/makefile')
-rw-r--r--tools/makefile2
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)