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