diff options
author | EuAndreh <eu@euandre.org> | 2021-03-09 08:58:39 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-03-09 08:58:39 -0300 |
commit | c2d9ad3799038267bc8f4289537450a9acc9f881 (patch) | |
tree | e4db1b043d7933c35e6cc28ea9e9cba60c015732 | |
parent | README.md: s/gistatic-template.pod.5/gistatic-template.5/ (diff) | |
download | gistatic-c2d9ad3799038267bc8f4289537450a9acc9f881.tar.gz gistatic-c2d9ad3799038267bc8f4289537450a9acc9f881.tar.xz |
ci-build.sh: Publish CI logs even when "dev-check" fails
-rwxr-xr-x | aux/ci/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 45e4075..79b41f0 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -50,7 +50,7 @@ EOF RUNNER='sh -c' fi - $RUNNER 'make clean dev-check public' + $RUNNER 'make clean dev-check; make public' rsync -a public/ "/srv/http/$PACKAGE/" --delete } 2>&1 | tee "$LOGFILE" |