chiark / gitweb /
[PATCH] fix parallel build error