chiark / gitweb /
build-sys: add --with-debug-shell=PATH