diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-09-12 16:03:42 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2018-10-09 13:26:47 +0200 |
commit | 54c0b577a8bc39b4f64a4dcc46c074a9de0881b7 (patch) | |
tree | 491c53633bc278ca272d0cac62522f4607166cdd /cpukit/vc-key.sh | |
parent | build: Remove specialized CPPFLAGS (diff) | |
download | rtems-54c0b577a8bc39b4f64a4dcc46c074a9de0881b7.tar.bz2 |
build: Move sapi/Makefile.am
Diffstat (limited to 'cpukit/vc-key.sh')
-rwxr-xr-x | cpukit/vc-key.sh | 39 |
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 |