diff options
Diffstat (limited to 'tools/buildbot/gitrev-posix')
| -rwxr-xr-x | tools/buildbot/gitrev-posix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tools/buildbot/gitrev-posix b/tools/buildbot/gitrev-posix deleted file mode 100755 index dd593f1917..0000000000 --- a/tools/buildbot/gitrev-posix +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -#Print the git revision in the form yyyymmdd-abc1234 -#Note: yyyymmdd is the date that abc1234 was committed and not today's date. - -which git &>/dev/null -if [ "$?" != "0" ]; then - echo "Unknown" - exit 1 -fi -git --no-pager log --abbrev=7 -n 1 --pretty=format:"%h %ci" HEAD | awk '{gsub("-", "");print $2"-"$1}' 2>/dev/null -if [ "$?" != "0" ]; then - echo "Unknown" - exit 1 -fi |