Tim-Philipp Müller authored 3 years ago and Ralph Giles committed 3 years ago

For git worktree directories .git is not a directory
but a file that points to the real .git dir.

The `update_version` script used by other builds
works correctly with git worktrees.

Signed-off-by: Ralph Giles <giles@thaumas.net>