diff --git a/tools/Makefile.unix b/tools/Makefile.unix index ed2f20dfe29..0d6ebd19905 100644 --- a/tools/Makefile.unix +++ b/tools/Makefile.unix @@ -31,7 +31,7 @@ endif # In case we cannot get version information from GIT -ifneq ($(GIT_PRESENT),true) +ifeq ($(GIT_PRESENT),) -include $(TOPDIR)/.version # In case the version file does not exist