chiark / gitweb /
build-all.sh: add option for debug builds