diff options
Diffstat (limited to 'cpukit/sapi/vc-key.sh')
| -rwxr-xr-x | cpukit/sapi/vc-key.sh | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/cpukit/sapi/vc-key.sh b/cpukit/sapi/vc-key.sh deleted file mode 100755 index 3c8f446d3f..0000000000 --- a/cpukit/sapi/vc-key.sh +++ /dev/null @@ -1,39 +0,0 @@ -#! /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 |