aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xaux/ci/ci-build.sh9
1 files changed, 2 insertions, 7 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 311abf9..1e3af4a 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -46,17 +46,12 @@ EOF
if [ -f aux/guix/with-container.sh ]; then
RUNNER='./aux/guix/with-container.sh'
+ guix describle
else
RUNNER='sh -c'
fi
- if [ -f ./configure ]; then
- COMMAND='./configure && make CC=cc clean check public'
- else
- COMMAND='make CC=cc clean check public'
- fi
-
- $RUNNER "$COMMAND"
+ $RUNNER 'make clean check public'
rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
} | tee "$LOGFILE" 2>&1