gputty

targets=gputty
[gputty]
type=binary
sources=gputty.c