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/sapi/vc-key.sh | |
parent | build: Remove specialized CPPFLAGS (diff) | |
download | rtems-54c0b577a8bc39b4f64a4dcc46c074a9de0881b7.tar.bz2 |
build: Move sapi/Makefile.am
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 |