diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-22 16:17:03 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-22 16:17:13 -0300 |
| commit | a779116a68d4fc9804aadf96ab354a1ed6675f6a (patch) | |
| tree | 79090f2410e9e4b86043b5c19a0d52c219269b2b | |
| parent | Refactor: rewrite logic to make it simpler and faster (diff) | |
| download | remembering-a779116a68d4fc9804aadf96ab354a1ed6675f6a.tar.gz remembering-a779116a68d4fc9804aadf96ab354a1ed6675f6a.tar.xz | |
aux/workflow/dist.sh: Do not build before doing dist
| -rwxr-xr-x | aux/workflow/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index a433478..1461a86 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -68,7 +68,7 @@ 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 check EXTRA_VERSION="$VVERSION" if ! (git diff --quiet && git diff --quiet --staged); then echo 'Dirty repository.' |