1 files changed, 1 insertions, 1 deletions
diff --git a/gitrev.sh b/gitrev.sh
index fd9d907e4e..996e384685 100755
--- a/gitrev.sh
+++ b/gitrev.sh
@@ -4,7 +4,7 @@ R=""
 MAX=50
 while [ $N -le $MAX ] && [ "x$R" = "x" ]
 do
-  R=$(git log -1 --pretty=format:%b HEAD~$N | sed -e 's/.*@\([0-9]\+\) .*/\1/')
+  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