diff options
Diffstat (limited to 'build-aux/ci/ci-build.sh')
| -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 |