From af3edf2b78720ca4d11af924b1de4220fca24490 Mon Sep 17 00:00:00 2001 From: Stefano Fornari Date: Thu, 9 Dec 2021 12:38:23 +0100 Subject: [PATCH] scripts/release.sh: making clear if builing a production or development version (#4304) Co-authored-by: Stefan Benten --- scripts/release.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/release.sh b/scripts/release.sh index 727ae8070..21513991c 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -9,9 +9,11 @@ echo $TIMESTAMP echo -n "Git commit: " if [[ "$(git diff --stat)" != '' ]] || [[ -n "$(git status -s)" ]]; then + echo "Changes detected, building a development version" COMMIT=$(git rev-parse HEAD)-dirty RELEASE=false else + echo "Building a release version" COMMIT=$(git rev-parse HEAD) RELEASE=true fi