1 files changed, 0 insertions, 15 deletions
diff --git a/gitrev.sh b/gitrev.sh
deleted file mode 100755
index 996e384685..0000000000
--- a/gitrev.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-N=0
-R=""
-MAX=50
-while [ $N -le $MAX ] && [ "x$R" = "x" ]
-do
-  R=$(git log -1 --pretty=format:%b HEAD~$N | awk '$2 ~ /@([0-9]+)$/ {sub(".*@", "", $2); print $2}')
-  N=$(($N+1))
-done
-if [ "x$R" != "x" ]; then
-  if [ $N -gt 1 ]; then
-    R=$R\+$((N-1))
-  fi
-  echo $R
-fi