chiark / gitweb /
top-level makefile deletes target on error