diff options
| author | EuAndreh <eu@euandre.org> | 2021-01-22 19:24:12 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-01-22 19:24:12 -0300 |
| commit | 768ab333b9e78af6ef1a9b23484e8e9c54c3a8b1 (patch) | |
| tree | 7e2eb0fa8a51016edbbf52fe7d4609b8707eee58 /build-aux/ci/ci-build.sh | |
| parent | TODOs.md: Add link to Resources section (diff) | |
| download | server-768ab333b9e78af6ef1a9b23484e8e9c54c3a8b1.tar.gz server-768ab333b9e78af6ef1a9b23484e8e9c54c3a8b1.tar.xz | |
Update shared files under build-aux
Diffstat (limited to '')
| -rwxr-xr-x | build-aux/ci/ci-build.sh | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/build-aux/ci/ci-build.sh b/build-aux/ci/ci-build.sh index 93c9ee1..b7a4c38 100755 --- a/build-aux/ci/ci-build.sh +++ b/build-aux/ci/ci-build.sh @@ -35,10 +35,19 @@ EOF git config --global user.email git@euandre.org git config --global user.name 'EuAndreh CI' + if [ -f build-aux/with-container.sh ]; then + RUNNER='./build-aux/with-container.sh' + else + RUNNER='sh -c' + fi + if [ -f ./bootstrap ]; then - ./build-aux/with-container.sh './bootstrap && ./configure --enable-programmer-mode --enable-ci-mode && make clean all check distcheck public' + COMMAND='./bootstrap && ./configure --enable-programmer-mode --enable-ci-mode && make clean all check distcheck public' else - ./build-aux/with-container.sh 'make clean check public' + COMMAND='make clean check public' fi + + $RUNNER "$COMMAND" + rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete } | tee "$LOGFILE" 2>&1 |