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(-)

(limited to 'aux')

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