Hello Reinier, I just tried to reproduce the problem, but all went well here. Can you please post the complete build log?
Christian ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that matters. http://tv.slashdot.org/ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
