devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 8 Actions Packages Projects 1 Releases Wiki Activity

merge/upstream-full #105

Manually merged
jabber.developer merged 407 commits from merge/upstream-full into master 2026-05-26 17:54:34 +00:00
Conversation 6 Commits 407 Files Changed 303 +5965 -27417
205 changed files with 5965 additions and 27417 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 4b610579ae - Show all commits

9
Makefile.am
View File

@@ -323,15 +323,16 @@ EXTRA_DIST += \
apidocs/python/src/prof.py
if INCLUDE_GIT_VERSION
EXTRA_DIST += .git/HEAD .git/index
GIT_FILES = $(top_srcdir)/.git/HEAD $(top_srcdir)/.git/index
EXTRA_DIST += $(GIT_FILES)
$(git_include).in: .git/HEAD .git/index
$(git_include).in: $(GIT_FILES)
rm -f $@
echo "#ifndef PROF_GIT_BRANCH" >> $@
echo "#define PROF_GIT_BRANCH \"$(shell git rev-parse --symbolic-full-name --abbrev-ref HEAD)\"" >> $@
echo "#define PROF_GIT_BRANCH \"$(shell git -C $(top_srcdir) rev-parse --symbolic-full-name --abbrev-ref HEAD)\"" >> $@
echo "#endif" >> $@
echo "#ifndef PROF_GIT_REVISION" >> $@
echo "#define PROF_GIT_REVISION \"$(shell git log --pretty=format:'%h' -n 1)\"" >> $@
echo "#define PROF_GIT_REVISION \"$(shell git -C $(top_srcdir) log --pretty=format:'%h' -n 1)\"" >> $@
echo "#endif" >> $@
#