gputty

targets=gputty
[gputty]
type=binary
sources=array.c,config.c,gputty.c,hash.c