From fa7c99c72d7635095e669e8aed9ef1d8db089df4 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Mon, 1 Mar 2021 06:51:50 -0300
Subject: Update files under aux/

---
 aux/ci/ci-build.sh | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

(limited to 'aux/ci/ci-build.sh')

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index 311abf9..1c033fe 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -28,7 +28,7 @@ EOF
     cd -
     if [ -f ./aux/ci/report.sh ]; then
       sh aux/ci/report.sh "$PACKAGE"
-      rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
+      rsync -avzzP public/ "/srv/http/$PACKAGE/"
     fi
 
     printf "\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s" "$STATUS"
@@ -50,13 +50,7 @@ EOF
     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 dev-check public'
 
   rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
-} | tee "$LOGFILE" 2>&1
+} 2>&1 | tee "$LOGFILE"
-- 
cgit v1.2.3