Hi,
ohne mir das nun genauer angeschaut zu haben, würd ich sagen, versuch's Morgen noch mal. Da scheinen die DVB-Sourcen z.Z. nicht OK zu sein.
Alternativ kannst Du im Makefile des dvb-Addons nen Datum eintragen, von dem die Sourcen genommen werden sollen.
Claus