diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-14 16:29:50 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-14 16:29:50 -0300 |
| commit | 1ecf9b99c671895badb0dd665580596fae97abc4 (patch) | |
| tree | 72c05b203ad1abfa498d539764b689c6cd0fddcc /aux/ci/ci-build.sh | |
| parent | aux/guix/manifest.scm: Remove unused packages (diff) | |
| download | git-permalink-1ecf9b99c671895badb0dd665580596fae97abc4.tar.gz git-permalink-1ecf9b99c671895badb0dd665580596fae97abc4.tar.xz | |
aux/: Update
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 b6769a9..60af813 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -27,7 +27,7 @@ EOF cd - sh aux/ci/report.sh "$PACKAGE" - rsync -a public/ "/srv/http/$PACKAGE/" --delete + rsync -av public/ "/srv/http/$PACKAGE/" --delete printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" } |