vasilito
facf0c92e0
Red Bear OS is a full fork. All sources must be available from git clone with zero network access. Removed gitignore rules that excluded fetched source trees under recipes/*/source/, local/recipes/kde/*/source/, local/recipes/qt/*/source/, and vendor source trees. Build artifacts (target/, build/, source.tar, *.o, *.so) remain excluded. 127291 files added — kernel, relibc, base, bootloader, pkgar, all KDE/Qt frameworks, mesa, wayland, DRM drivers, and every other recipe source.
52 lines
2.3 KiB
Bash
Executable File
52 lines
2.3 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
# This script outputs additional MPFR version information for a
|
|
# Git working tree (Git branch or "(none)", total commit count,
|
|
# commit id, and whether the current HEAD is modified). It is
|
|
# called in tests/Makefile.am for "make check", but may be used
|
|
# by other tools that need such information (other tests may be
|
|
# needed; see tests/Makefile.am as an example of use).
|
|
# Note that this does not replace version information found in
|
|
# the VERSION file, which may still need to be output in addition
|
|
# to the output of this script.
|
|
|
|
set -e
|
|
|
|
if [ "x`git rev-parse --is-inside-work-tree 2> /dev/null`" != xtrue ]; then
|
|
echo "$0: This script should be executed from a Git working tree." >&2
|
|
exit 1
|
|
fi
|
|
|
|
# Normally passed by tests/Makefile.am with "GREP=$(GREP) SED=$(SED)".
|
|
GREP=${GREP:-grep}
|
|
SED=${SED:-sed}
|
|
|
|
# Note: for the branch detection, in the case of a detached HEAD state,
|
|
# the commit may appear in multiple branches, i.e. which diverge after
|
|
# the commit; thus we exclude branches created after this commit, based
|
|
# on <branch>-root tags (such a tag should be added by the user when
|
|
# creating a branch, so that "git diff <branch>-root" shows commits done
|
|
# in the branch since its creation, etc.). If $gitb contains multiple
|
|
# branches, this means that something is probably wrong with the tags
|
|
# or the branches (merged branches should be deleted).
|
|
|
|
git tag --contains | $SED -n 's/-root$//p' > excluded-branches
|
|
gitb=`git branch --format='%(refname:short)' --contains | \
|
|
$SED 's,(HEAD detached at origin/\(.*\)),\1,' | \
|
|
$GREP -v '^(' | $GREP -v -F -f excluded-branches -x || true`
|
|
rm excluded-branches
|
|
gitc=`git rev-list --count HEAD`
|
|
gith=`git rev-parse --short HEAD`
|
|
gitm=`git update-index -q --refresh; git diff-index --name-only HEAD`
|
|
echo "${gitb:-(none)}-$gitc-$gith${gitm:+ (modified)}"
|
|
|
|
# References:
|
|
# https://stackoverflow.com/q/3882838/3782797
|
|
# https://stackoverflow.com/a/3899339/3782797
|
|
# for the "git diff-index --name-only HEAD" solution, but this
|
|
# is not sufficient, because autogen.sh modifies the "INSTALL"
|
|
# and "doc/texinfo.tex" files (due to "autoreconf -f -i"), and
|
|
# restores them. On needs:
|
|
# https://stackoverflow.com/q/3882838/3782797#comment121636904_3899339
|
|
# suggesting "git update-index -q --refresh" first.
|