diff options
| author | EuAndreh <eu@euandre.org> | 2022-01-15 23:54:31 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-01-16 00:03:32 -0300 |
| commit | 25884e42a186a0b3e9347519bbf32080dd0edc47 (patch) | |
| tree | 3b0d2d91a7b85c915922bb03101cf1a4bd6fdaa4 /aux/workflow/dist.sh | |
| parent | Makefile: Increase expected instealled files count (diff) | |
| download | git-permalink-25884e42a186a0b3e9347519bbf32080dd0edc47.tar.gz git-permalink-25884e42a186a0b3e9347519bbf32080dd0edc47.tar.xz | |
Release v0.3.0v0.3.0
Diffstat (limited to 'aux/workflow/dist.sh')
| -rwxr-xr-x | aux/workflow/dist.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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.' |