Jürgen Buchmüller d7b1a31cf0 00-distfiles.sh: avoid unnecessary second loop ...

We're already done after the first loop, if all distfiles
were found and their checksums verified ok.

2015-11-05 22:05:25 +01:00

..

.empty

…

00-distfiles.sh

00-distfiles.sh: avoid unnecessary second loop

2015-11-05 22:05:25 +01:00