Chris Gransden, on 4 Sep, wrote: > In article <mpro.qg4ee9005joo01yec.pit...@pittdj.co.uk>, > David Pitt <pit...@pittdj.co.uk> wrote: > > jjvdg...@vfemail.net, on 3 Sep, wrote: > > > > I'm trying to build gccsdk but it fails because it doesn't find the > > > ppl-1.2.tar.gz package:
[snip] > It should work again now. I've check in a change to download ppl from > www.bugseng.com. Many thanks, on a new autobuilder instance build-world has completed. Using Ubuntu 20.04. -- David Pitt _______________________________________________ GCCSDK mailing list gcc@gccsdk.riscos.info Bugzilla: http://www.riscos.info/bugzilla/index.cgi List Info: http://www.riscos.info/mailman/listinfo/gcc Main Page: http://www.riscos.info/index.php/GCCSDK
