chiark / gitweb /
terminal: only build if --enable-terminal was specified