From d91a9a4459a2750bae66ff4db3569e760562ecac Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 9 Mar 2021 09:03:32 -0300 Subject: ci-build.sh: Publish CI logs even when "dev-check" fails --- aux/ci/ci-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'aux/ci') 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" -- cgit v1.2.3