diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-17 21:50:35 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-17 21:50:35 -0300 |
| commit | ccc4dbc1395771532e1664a852c88386fe6990f2 (patch) | |
| tree | ff52baa69142f1692ae0d994e096ed54d0309c78 /aux/ci/ci-build.sh | |
| parent | Rearrange Makefile.in, using loops for manpages (diff) | |
| download | remembering-ccc4dbc1395771532e1664a852c88386fe6990f2.tar.gz remembering-ccc4dbc1395771532e1664a852c88386fe6990f2.tar.xz | |
Update files under aux/
Diffstat (limited to 'aux/ci/ci-build.sh')
| -rwxr-xr-x | aux/ci/ci-build.sh | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index bff1216..7e17a7c 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -20,7 +20,7 @@ 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" @@ -29,11 +29,12 @@ EOF 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' @@ -41,10 +42,10 @@ EOF RUNNER='sh -c' fi - if [ -f ./bootstrap ]; then - COMMAND='./bootstrap && ./configure && make clean all check distcheck public' + if [ -f ./configure ]; then + COMMAND='./configure && make CC=cc clean check public' else - COMMAND='make clean check public' + COMMAND='make CC=cc clean check public' fi $RUNNER "$COMMAND" |