build: untrack generated src/gitversion.h.in #137
Reference in New Issue
Block a user
No description provided.
Delete Branch "chore/untrack-gitversion"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
src/gitversion.h.in is listed in .gitignore and regenerated by the build recipe from .git/HEAD/.git/index, but it was committed to the repo by mistake during the upstream sync. As a result the tracked file is overwritten by the build and dirties git status.
This PR untracks the file (git rm --cached), restoring the pre-sync state where it was a purely generated artifact. The file stays on disk and remains gitignored.
Version-string behaviour is unchanged: dev builds still report 0.15.0dev.master.. The generation recipe and the BUILT_SOURCES dependency are left untouched — that is a separate concern (see below).
Out of scope: the common.o recompile + relink on every git operation (measured ~1.85s) remains. It stems from gitversion.h depending on .git/HEAD/.git/index and predates the upstream sync; removing it would require moving the hash computation into ./configure.
Fixes #139