scripts/release.sh: making clear if builing a production or development version (#4304)

Co-authored-by: Stefan Benten <mail@stefan-benten.de>
This commit is contained in:
Stefano Fornari 2021-12-09 12:38:23 +01:00 committed by GitHub
parent d94d8d1775
commit af3edf2b78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,9 +9,11 @@ echo $TIMESTAMP
echo -n "Git commit: " echo -n "Git commit: "
if [[ "$(git diff --stat)" != '' ]] || [[ -n "$(git status -s)" ]]; then if [[ "$(git diff --stat)" != '' ]] || [[ -n "$(git status -s)" ]]; then
echo "Changes detected, building a development version"
COMMIT=$(git rev-parse HEAD)-dirty COMMIT=$(git rev-parse HEAD)-dirty
RELEASE=false RELEASE=false
else else
echo "Building a release version"
COMMIT=$(git rev-parse HEAD) COMMIT=$(git rev-parse HEAD)
RELEASE=true RELEASE=true
fi fi