chiark / gitweb /
Add another build option to skip source scanning