chiark / gitweb /
init: make prompt for SDK path exit cleanly on Ctrl-C