From c374d745a4752ac1999a181bfff4d1795912ee13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20B=C5=99=C3=ADza?= <m@rtinbriza.cz>
Date: Thu, 2 Jul 2020 12:39:49 +0200
Subject: [PATCH] Allow dash-something in the tag string so we can do rebuilds

---
 dist/get-tag-name.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dist/get-tag-name.sh b/dist/get-tag-name.sh
index 4b4db2ee..cef5ba61 100644
--- a/dist/get-tag-name.sh
+++ b/dist/get-tag-name.sh
@@ -1,7 +1,8 @@
 #!/bin/bash
 
 PROBABLY_TAG=${GITHUB_REF/refs\/tags\//}
+REGEXP="[0-9][0-9]*[.][0-9][0-9]*[.][0-9][0-9]*"
 
-grep "^[0-9][0-9]*[.][0-9][0-9]*[.][0-9][0-9]*$" <<< "$PROBABLY_TAG"
+grep "$REGEXP" <<< "$PROBABLY_TAG" | sed "s/.*\($REGEXP\).*/\\1/"
 
 exit 0