diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/ci/ci-build.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 45e4075..21788f4 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -25,12 +25,6 @@ EOF git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE" git notes append -m "$NOTE" - cd - - if [ -f ./aux/ci/report.sh ]; then - sh aux/ci/report.sh "$PACKAGE" - rsync -a public/ "/srv/http/$PACKAGE/" - fi - printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS" } trap finish EXIT @@ -50,7 +44,7 @@ EOF RUNNER='sh -c' fi - $RUNNER 'make clean dev-check public' + $RUNNER 'make clean public dev-check' rsync -a public/ "/srv/http/$PACKAGE/" --delete } 2>&1 | tee "$LOGFILE" |