diff options
| -rwxr-xr-x | tools/get-git-svn-rev | 6 | ||||
| -rwxr-xr-x | tools/get-scala-revision | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/tools/get-git-svn-rev b/tools/get-git-svn-rev index 0fa020de95..abf795476e 100755 --- a/tools/get-git-svn-rev +++ b/tools/get-git-svn-rev @@ -7,7 +7,7 @@ # If no dir is given, current working dir is used. DIR="" -if [[ $# -eq 0 ]]; then +if [ $# -eq 0 ]; then DIR=`pwd` else DIR=$1 @@ -15,9 +15,9 @@ fi builtin cd $DIR -if [[ -d .svn ]]; then +if [ -d .svn ]; then svn info . | grep ^Revision | sed 's/Revision: //' -elif [[ -d .git ]]; then +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. diff --git a/tools/get-scala-revision b/tools/get-scala-revision index 0fa020de95..abf795476e 100755 --- a/tools/get-scala-revision +++ b/tools/get-scala-revision @@ -7,7 +7,7 @@ # If no dir is given, current working dir is used. DIR="" -if [[ $# -eq 0 ]]; then +if [ $# -eq 0 ]; then DIR=`pwd` else DIR=$1 @@ -15,9 +15,9 @@ fi builtin cd $DIR -if [[ -d .svn ]]; then +if [ -d .svn ]; then svn info . | grep ^Revision | sed 's/Revision: //' -elif [[ -d .git ]]; then +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. |