diff options
| author | EuAndreh <eu@euandre.org> | 2020-12-02 16:10:34 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2020-12-02 16:10:34 -0300 |
| commit | b27efd7f3a55e25229ccddaf8e07122dc56a6696 (patch) | |
| tree | d6bff1eda99f9f7678e83ec4532530db23a14554 /scripts | |
| parent | Fix build of HTML (diff) | |
| download | server-b27efd7f3a55e25229ccddaf8e07122dc56a6696.tar.gz server-b27efd7f3a55e25229ccddaf8e07122dc56a6696.tar.xz | |
ci-build.sh: Clean before running check
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index f8e3aa6..ed5c855 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -36,5 +36,5 @@ pushd "$CLONE" git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' -./scripts/with-container.sh 'make check public' +./scripts/with-container.sh 'make clean check public' mv public/ /srv/http/vps/ |