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> |
||
|---|---|---|
| .. | ||
| get-version.py | ||
| read-sources-list.py | ||