chiark / gitweb /
build system: Fix race bug in recheck target