diff options
author | Timothy Pearson <tpearson@raptorengineering.com> | 2019-05-11 15:12:49 -0500 |
---|---|---|
committer | Timothy Pearson <tpearson@raptorengineering.com> | 2019-05-11 15:12:49 -0500 |
commit | 9e80202352dd49bdd9e67b8b906d86f058431505 (patch) | |
tree | 5673c17aad6e3833da8c4ff21b5a11f666ec9fbe /src/dtc/scripts/setlocalversion | |
download | hqemu-master.zip hqemu-master.tar.gz |
Diffstat (limited to 'src/dtc/scripts/setlocalversion')
-rwxr-xr-x | src/dtc/scripts/setlocalversion | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/dtc/scripts/setlocalversion b/src/dtc/scripts/setlocalversion new file mode 100755 index 0000000..82e4993 --- /dev/null +++ b/src/dtc/scripts/setlocalversion @@ -0,0 +1,22 @@ +#!/bin/sh +# Print additional version information for non-release trees. + +usage() { + echo "Usage: $0 [srctree]" >&2 + exit 1 +} + +cd "${1:-.}" || usage + +# Check for git and a git repo. +if head=`git rev-parse --verify HEAD 2>/dev/null`; then + # Do we have an untagged version? + if git name-rev --tags HEAD | grep -E '^HEAD[[:space:]]+(.*~[0-9]*|undefined)$' > /dev/null; then + printf '%s%s' -g `echo "$head" | cut -c1-8` + fi + + # Are there uncommitted changes? + if git diff-index HEAD | read dummy; then + printf '%s' -dirty + fi +fi |