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

WIP: feat/upstream-sync #104

Closed
jabber.developer2 wants to merge 54 commits from feat/upstream-sync into master
pull from: feat/upstream-sync
merge into: devs:master
Conversation 1 Commits 54 Files Changed 60 +1176 -590
54 changed files with 1176 additions and 590 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ac6c3a13a9 - Show all commits

9
Makefile.am
View File

@@ -352,15 +352,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" >> $@
#