diff options
author | John Denker <jsd@av8n.com> | 2012-07-14 23:13:38 -0700 |
---|---|---|
committer | John Denker <jsd@av8n.com> | 2012-07-14 23:13:38 -0700 |
commit | fb6042c5cd8a411cfcfcf6c1a1d466eb42a4ff33 (patch) | |
tree | 1d283838beb0f1b3d9138db4d8cd9950c0df20a6 /tools/makefile | |
parent | e53f6eb20d90fd96e43dc2f52249856485522a61 (diff) |
working toward a process-group signalling system
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 8de2bd4..3803e44 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 +progs = pido hi-q skrewt hi-test all: $(progs) |