diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-24 21:19:47 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-24 21:19:47 -0300 |
| commit | e6c6f6aa8f34aaff6df665d5e64bc08ee1797455 (patch) | |
| tree | 12a1c6c4c11398c3496c7ec63ea8585c397544ee /aux/ci/ci-build.sh | |
| parent | latest.scm, posix.scm: Fix indentation (diff) | |
| download | package-repository-e6c6f6aa8f34aaff6df665d5e64bc08ee1797455.tar.gz package-repository-e6c6f6aa8f34aaff6df665d5e64bc08ee1797455.tar.xz | |
aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case of failure
Diffstat (limited to 'aux/ci/ci-build.sh')
| -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 0679cbd..fb49e71 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -28,7 +28,7 @@ EOF cd - if [ -f ./aux/ci/report.sh ]; then sh aux/ci/report.sh "$PACKAGE" - rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete + rsync -avzzP public/ "/srv/http/$PACKAGE/" fi printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" |