From 317d0e8d62697af03ece6ada18817720d5d7076c Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sat, 30 Jan 2021 10:43:28 -0300
Subject: Update aux/ci/ files
---
aux/ci/ci-build.sh | 2 +-
aux/ci/git-post-receive.sh | 4 ++--
aux/ci/git-pre-push.sh | 4 ++--
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index c891d3b..bff1216 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -42,7 +42,7 @@ EOF
fi
if [ -f ./bootstrap ]; then
- COMMAND='./bootstrap && ./configure --enable-programmer-mode --enable-ci-mode && make clean all check distcheck public'
+ COMMAND='./bootstrap && ./configure && make clean all check distcheck public'
else
COMMAND='make clean check public'
fi
diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh
index 2f6e3c0..b169489 100755
--- a/aux/ci/git-post-receive.sh
+++ b/aux/ci/git-post-receive.sh
@@ -10,5 +10,5 @@ for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do
done
PACKAGE="$(basename "$PWD" | cut -d. -f1)" # remove .git suffix
-LOGS_DIR="/data/ci/$PACKAGE/logs"
-"/data/ci/$PACKAGE/ci-build.sh" "$PACKAGE" "$LOGS_DIR"
+LOGS_DIR="/srv/ci/$PACKAGE/logs"
+"/srv/ci/$PACKAGE/ci-build.sh" "$PACKAGE" "$LOGS_DIR"
diff --git a/aux/ci/git-pre-push.sh b/aux/ci/git-pre-push.sh
index 30d2850..d90a4b4 100755
--- a/aux/ci/git-pre-push.sh
+++ b/aux/ci/git-pre-push.sh
@@ -2,8 +2,8 @@
set -eux
PACKAGE="$(basename "$PWD")"
-LOGS_DIR="/data/ci/$PACKAGE/logs"
-REMOTE_GIT_DIR="/data/git/$PACKAGE.git"
+LOGS_DIR="/srv/ci/$PACKAGE/logs"
+REMOTE_GIT_DIR="/srv/git/$PACKAGE.git"
DESCRIPTION="$(mktemp)"
if [ -f description ]
--
cgit v1.2.3