diff options
Diffstat (limited to 'tools/get-git-svn-rev')
-rwxr-xr-x | tools/get-git-svn-rev | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/tools/get-git-svn-rev b/tools/get-git-svn-rev deleted file mode 100755 index 685ce67a6d..0000000000 --- a/tools/get-git-svn-rev +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh -# -# Usage: get-scala-rev [dir] -# Figures out current scala revision of an svn checkout or -# a git-svn mirror (or a git clone.) -# -# If no dir is given, current working dir is used. - -DIR="" -if [ $# -eq 0 ]; then - DIR=`pwd` -else - DIR=$1 -fi - -cd $DIR - -if [ -d .svn ]; then - svn info . | grep ^Revision | sed 's/Revision: //' -elif [ -d .git ]; then - GIT_PAGER=cat - # this grabs more than one line because otherwise if you have local - # commits which aren't in git-svn it won't see any revision. - git log -10 | grep git-svn-id | head -1 | sed 's/[^@]*@\([0-9]*\).*/\1/' -else - echo "${DIR} doesn't appear to be git or svn dir." >&2 - echo 0 - exit 1 -fi |