diff options
| -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/ |