Add aux/ci/report.sh

1 files changed, 13 insertions, 5 deletions

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 81ee1fd..1159204 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -20,20 +20,28 @@ See CI logs with:
   git notes --ref=refs/notes/ci-logs show $SHA
   git notes --ref=refs/notes/ci-data show $SHA
 EOF
-        )
+)
     git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
     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 -avzzP public/ "/srv/http/$PACKAGE/" --delete
+    fi
+
     printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
   }
   trap finish EXIT
 
   unset GIT_DIR
-  CLONE="$(mktemp -d)"
-  git clone . "$CLONE"
-  cd "$CLONE"
+  REMOTE="$PWD"
+  cd "$(mktemp -d)"
+  git clone "$REMOTE" .
   git config --global user.email git@euandre.org
   git config --global user.name 'EuAndreh CI'
+  git fetch origin refs/notes/*:refs/notes/*
 
   if [ -f aux/guix/with-container.sh ]; then
     RUNNER='./aux/guix/with-container.sh'
@@ -42,7 +50,7 @@ EOF
   fi
 
   if [ -f ./configure ]; then
-    COMMAND='./configure && make clean check public'
+    COMMAND='./configure && make CC=cc clean check public'
   else
     COMMAND='make CC=cc clean check public'
   fi