From 7ab26e5fd36c60a2f33ecca98809b8ed94cd005c Mon Sep 17 00:00:00 2001 From: Pablo Greco Date: Mon, 1 Aug 2022 15:30:53 +0000 Subject: [PATCH] Fix elements naming in gitian builds --- contrib/gitian-descriptors/assign_DISTNAME | 1 + 1 file changed, 1 insertion(+) diff --git a/contrib/gitian-descriptors/assign_DISTNAME b/contrib/gitian-descriptors/assign_DISTNAME index f6ba157b6c..13469d6b75 100644 --- a/contrib/gitian-descriptors/assign_DISTNAME +++ b/contrib/gitian-descriptors/assign_DISTNAME @@ -5,6 +5,7 @@ # A helper script to be sourced into the gitian descriptors if RECENT_TAG="$(git describe --exact-match HEAD 2> /dev/null)"; then + RECENT_TAG="${RECENT_TAG#elements-}" VERSION="${RECENT_TAG#v}" else VERSION="$(git rev-parse --short=12 HEAD)"