Fix compilation if git is not installed.

diff --git a/coreapi/Makefile.am b/coreapi/Makefile.am
index 0c10c05da3983f58079d9a87406d0d5ee46a4316..a984799b90cef6ffa71fcd68576931550cd00cf3 100644 (file)
--- a/coreapi/Makefile.am
+++ b/coreapi/Makefile.am
@@ -117,6 +117,9 @@ make_gitversion_h:
        else \
                $(ECHO) -n "" > $(GITVERSION_FILE_TMP) ; \
        fi
+       if test ! -f $(srcdir)/$(GITVERSION_FILE) ; then \
+               cp -f $(GITVERSION_FILE_TMP) $(srcdir)/$(GITVERSION_FILE) ; \
+       fi
        if test "`cat $(GITVERSION_FILE_TMP)`" != "`cat $(srcdir)/$(GITVERSION_FILE)`" ; then \
                cp -f $(GITVERSION_FILE_TMP) $(srcdir)/$(GITVERSION_FILE) ; \
        fi