diff options
| -rwxr-xr-x | tools/get-git-svn-rev | 2 | ||||
| -rwxr-xr-x | tools/get-scala-revision | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/get-git-svn-rev b/tools/get-git-svn-rev index abf795476e..685ce67a6d 100755 --- a/tools/get-git-svn-rev +++ b/tools/get-git-svn-rev @@ -13,7 +13,7 @@ else DIR=$1 fi -builtin cd $DIR +cd $DIR if [ -d .svn ]; then svn info . | grep ^Revision | sed 's/Revision: //' diff --git a/tools/get-scala-revision b/tools/get-scala-revision index abf795476e..685ce67a6d 100755 --- a/tools/get-scala-revision +++ b/tools/get-scala-revision @@ -13,7 +13,7 @@ else DIR=$1 fi -builtin cd $DIR +cd $DIR if [ -d .svn ]; then svn info . | grep ^Revision | sed 's/Revision: //' |