chiark / gitweb /
Run ant clean in update= dirs instead of removing dirs