build failed from bad repodata

[Roland McGrath]

What am I supposed to do about this?
(http://buildsys.fedoraproject.org/logs//4/52-monotone-0.21-2.fc4/)

Just "make build" again, or what?


/usr/sbin/mock-helper yum --installroot /var/lib/mock/fedora-4-x86_64-core-9c30d592682cbff5339085dd4c13c7511dcae967/root groupinstall build
http://fedoraproject.org/extras/4/x86_64/repodata/filelists.xml.gz: [Errno -1] Metadata file does not match checksum
Trying other mirror.
Error: failure: repodata/filelists.xml.gz from extras: [Errno 256] No more mirrors to try.