]> git.baikalelectronics.ru Git - uboot.git/commit
buildman: Use git worktrees instead of git clones when possible
authorAlper Nebi Yasak <alpernebiyasak@gmail.com>
Thu, 3 Sep 2020 12:51:03 +0000 (15:51 +0300)
committerSimon Glass <sjg@chromium.org>
Tue, 22 Sep 2020 18:50:43 +0000 (12:50 -0600)
commitba26f83856e00bb37db8db25b62a90abfb008d25
tree35114b512b43f87e9b36ce905060cfd18fbbce9c
parentd31d4a4c01f94de9d68412312074e049621c9f8a
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 <alpernebiyasak@gmail.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
Tested-by: Simon Glass <sjg@chromium.org>
tools/buildman/builder.py
tools/buildman/func_test.py
tools/patman/gitutil.py