Remove jigdofilelist on distclean.
Fixes a problem with "one arch at a time" mirrors.
This commit is contained in:
parent
84e79fdd29
commit
e5073af142
Loading…
Reference in New Issue