diff --git a/repos/base/src/core/version.inc b/repos/base/src/core/version.inc index 3bb3e9989..934771a42 100644 --- a/repos/base/src/core/version.inc +++ b/repos/base/src/core/version.inc @@ -1,7 +1,7 @@ # # Provide version information to main.cc # -GENODE_ROOT_DIR = $(BASE_DIR)/.. +GENODE_ROOT_DIR = $(BASE_DIR)/../.. GENODE_VERSION := $(shell \ which git > /dev/null \ && git -C $(GENODE_ROOT_DIR) describe --dirty=" " 2> /dev/null \