diff options
| author | EuAndreh <eu@euandre.org> | 2021-06-26 21:48:18 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-06-26 21:49:20 -0300 |
| commit | 59f34fe49527fc697bd86145aa974076c83eb404 (patch) | |
| tree | ee4748e63d034b86e50b78724d5812cd7e001681 /aux/ci/ci-build.sh | |
| parent | aux/utils.sh: Remove unused file (diff) | |
| download | remembering-59f34fe49527fc697bd86145aa974076c83eb404.tar.gz remembering-59f34fe49527fc697bd86145aa974076c83eb404.tar.xz | |
aux/: Update, adapt Makefile accordingly
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 7fa3382..be97866 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -26,7 +26,7 @@ EOF git notes append -m "$NOTE" cd - - sh aux/ci/report.sh "$PROJECT" public + sh aux/ci/report.sh -n "$PROJECT" -o public rsync -av public/ "/srv/http/$PROJECT/" --delete printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" |