diff options
| author | EuAndreh <eu@euandre.org> | 2021-07-04 16:17:09 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-07-04 16:17:09 -0300 |
| commit | 209af7d8849515fd9f8bc2873bb7e999b2d14240 (patch) | |
| tree | ff2a9c5a611d47316315fbc26dc23f052c630e85 /aux/ci/ci-build.sh | |
| parent | dependencies.dot: Add colors to all; remove makecheck dependency; tabify (diff) | |
| download | package-repository-209af7d8849515fd9f8bc2873bb7e999b2d14240.tar.gz package-repository-209af7d8849515fd9f8bc2873bb7e999b2d14240.tar.xz | |
aux/: Update, adjust Makefile accordingly
Diffstat (limited to '')
| -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" |