Fix getting the version tag. Now it should also support older versions of git

diff --git a/tools/version b/tools/version
index 1bfc45f62ecf02ff4ec40848e8f03dde00622a3a..13a00e9a8553436c38c9b97e7b0485bd332a2cde 100755 (executable)
--- a/tools/version
+++ b/tools/version
@@ -1,6 +1,11 @@
 #!/bin/bash
 
-TAG=$(git tag --merged | sed -n 's/^v//p' | tail -n1)
+# Get version tag
+# Uses 'git log ...' insted of 'git tag --merged' to support older distros
+TAG=$(git log --oneline --pretty=format:"%d" \
+    | grep -Eo '^ \(tag:\ v[[:digit:]]+.*(,|\))' \
+    | head -n 1 \
+    | sed -n 's/^ (tag:\ v//p' | sed -n 's/\(,.*\|)\)//p')
 
 # Pack with zeros if needed
 TM=$TAG