Module Name: src
Committed By: khorben
Date: Mon Sep 4 02:21:17 UTC 2023
Modified Files:
src: build.sh
Log Message:
build.sh: add support for git worktree
Git supports multiple working trees attached to the same repository,
with the git-worktree(1) subcommand.
When building from a Git working tree, the repository metadata in .git
from the top source directory is a file (containing the actual location
of the metadata) instead of the usual directory structure. With this
change, build.sh allows .git to be a directory or a regular file
instead, therefore letting the sources build as expected from a Git
working tree.
To test: (without this patch)
src$ git worktree add ../src-clean-tree
[...]
src$ (cd ../src-clean-tree && ./build.sh tools)
[...]
ERROR: Cannot determine VCS for '.../src-clean-tree/'
XXX: pullup-10 pullup-9
To generate a diff of this commit:
cvs rdiff -u -r1.373 -r1.374 src/build.sh
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
