Hello Ben, On Tue, Sep 04, 2018 at 12:41:06AM -0600, Nobody III wrote: > I'm surprised that you can't reproduce the error, because I got it on both > of my computers. I'm using the upstream branch on my own repo, but it's > synced to 18.08, which is only 1 dde_linux-related patch behind master.
On second thought you may be hit by issue #2834 [1]. I asked your for it before, but could you provide more information (esp. about your host system OS)? Further I'd like you to run a recursive diff (diff -ur) of the src archives you generated and those that can be downloaded from https://depot.genode.org/genodelabs for 18.08 to validate my suspicion. And please, let's investigate this on 18.08 (not master or anything else). [1] https://github.com/genodelabs/genode/issues/2834 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
