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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
