targets=gputty

[gputty]
type=binary
sources=config.c,gputty.c