chiark / gitweb /
[PATCH] fix build for very old versions of make.