2 files changed, 5 insertions, 5 deletions
diff --git a/tools/get-git-svn-rev b/tools/get-git-svn-rev
new file mode 100755
index 0000000000..283b4141fe
--- /dev/null
+++ b/tools/get-git-svn-rev
@@ -0,0 +1,5 @@
+#!/bin/sh
+#
+
+GIT_PAGER=cat
+git log -10 | grep git-svn-id | head -1 | sed 's/[^@]*@\([0-9]*\).*/\1/'
+\ No newline at end of file
diff --git a/tools/git-get-rev b/tools/git-get-rev
deleted file mode 100755
index 9adda35ca7..0000000000
--- a/tools/git-get-rev
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-#
-
-GIT_PAGER=cat
-git log -10 | grep git-svn-id | head -1
-\ No newline at end of file