From 25884e42a186a0b3e9347519bbf32080dd0edc47 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sat, 15 Jan 2022 23:54:31 -0300 Subject: Release v0.3.0 --- aux/workflow/dist.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'aux/workflow') diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index a433478..f950e7c 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -68,7 +68,8 @@ if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then exit 1 fi -make clean public dev-check EXTRA_VERSION="$VVERSION" +make clean +make dev-check EXTRA_VERSION="$VVERSION" if ! (git diff --quiet && git diff --quiet --staged); then echo 'Dirty repository.' -- cgit v1.2.3