summaryrefslogtreecommitdiffstats
path: root/cpukit/vc-key.sh
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2018-09-12 16:03:42 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2018-10-09 13:26:47 +0200
commit54c0b577a8bc39b4f64a4dcc46c074a9de0881b7 (patch)
tree491c53633bc278ca272d0cac62522f4607166cdd /cpukit/vc-key.sh
parentbuild: Remove specialized CPPFLAGS (diff)
downloadrtems-54c0b577a8bc39b4f64a4dcc46c074a9de0881b7.tar.bz2
build: Move sapi/Makefile.am
Diffstat (limited to 'cpukit/vc-key.sh')
-rwxr-xr-xcpukit/vc-key.sh39
1 files changed, 39 insertions, 0 deletions
diff --git a/cpukit/vc-key.sh b/cpukit/vc-key.sh
new file mode 100755
index 0000000000..3c8f446d3f
--- /dev/null
+++ b/cpukit/vc-key.sh
@@ -0,0 +1,39 @@
+#! /bin/sh
+
+git=$(command -v git)
+
+#
+# Git command not found or not a valid git repo is a release.
+#
+vc_ident="release"
+
+if test $# -ge 1; then
+ repo=$1
+ shift
+ if test -d $repo; then
+ cwd=$(pwd)
+ cd $repo
+ if test -n ${git}; then
+ git rev-parse --git-dir > /dev/null 2>&1
+ if test $? = 0; then
+ git status > /dev/null 2>&1
+ if git diff-index --quiet HEAD --; then
+ modified=""
+ else
+ modified="-modified"
+ fi
+ vc_ident="$(git rev-parse --verify HEAD)${modified}"
+ if test $# -ge 1; then
+ if test "${vc_ident}" = "$1"; then
+ vc_ident="matches"
+ fi
+ fi
+ fi
+ fi
+ cd $cwd
+ fi
+fi
+
+echo ${vc_ident}
+
+exit 0