chiark / gitweb /
build-sys: add missing sed substitution for DEBUGTTY