chiark / gitweb /
Summary: Make the build not run in parallel (fixes: #991133)