Hi Christian,
The file repos/base/src/core/
version.inc in my release directory has the same content as the current master. In that file, line 4 sets:
GENODE_ROOT_DIR = $(BASE_DIR)/../..
If I change that to set it to /tmp I still get the two git repository warnings.
Bob
Sent from my android device.-----Original Message-----
From: Christian Helmuth <christian.helmuth@...1...>
To: genode-main@lists.sourceforge.net
Sent: Mon, 18 Jul 2016 12:47 PM
Subject: Re: Build issue..."Not a git repository"
Hello Bob,