5 Mar
2021
5 Mar
'21
7:50 a.m.
On Fri, Mar 05, 2021 at 08:37:18 CET, Edoardo Mantovani wrote:
Yeah, I understood this, but I cannot even find the file!
Then, please delete any old ports via
rm -rf /home/sgrjlhgwl/Downloads/genode-21.02/contrib/gdb-8eddf0d249a22993e57b3242112fb62f503101c9 rm -rf /home/sgrjlhgwl/Downloads/genode-21.02/contrib/gdb-8eddf0d249a22993e57b3242112fb62f503101c9.incomplete
and prepare manually via
/home/sgrjlhgwl/Downloads/genode-21.02/tool/ports/prepare_port gdb
If that works, you may rerun tool_chain.
Greets
--
Christian Helmuth
Genode Labs
https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth