diff options
| author | Alper Nebi Yasak <[email protected]> | 2020-09-03 15:51:03 +0300 |
|---|---|---|
| committer | Simon Glass <[email protected]> | 2020-09-22 12:50:43 -0600 |
| commit | 76de29fc4f402bd23ad8cd27f7c95882913e0f6e (patch) | |
| tree | 35114b512b43f87e9b36ce905060cfd18fbbce9c /scripts | |
| parent | f5bbd9a3a66eb544eb736bbf84d49e3fe227362a (diff) | |
buildman: Use git worktrees instead of git clones when possible
This patch makes buildman create linked working trees instead of clones
of the source repository, but keeps updating the older clones of the
repository that might already exist. These worktrees share "everything
except working directory specific files such as HEAD, index, etc." with
the source repository. See the git-worktree(1) manual page for more
information.
If git-worktree isn't available, silently falls back to cloning the
repository.
Signed-off-by: Alper Nebi Yasak <[email protected]>
Reviewed-by: Simon Glass <[email protected]>
Tested-by: Simon Glass <[email protected]>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions