CVS commit: src

["Pierre Pronchery" <khorben%netbsd.org@localhost>]

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.