From 4a0439567da188efc0dc1009b676f02d1c861c54 Mon Sep 17 00:00:00 2001 From: Dima Gerasimov Date: Wed, 16 Jan 2019 21:48:45 +0000 Subject: [PATCH] fallback to git hash in publish script --- publish | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/publish b/publish index 3452cdd..7d5fb35 100755 --- a/publish +++ b/publish @@ -3,7 +3,11 @@ set -eux VERSION="$(git tag --points-at)" -[[ -n $VERSION ]] +if [[ ! -n $VERSION ]]; then + >&2 echo "Dirty build!" + VERSION="$(git rev-parse --short HEAD)" +fi + OUT="grasp-$VERSION.zip"