From 862271d704f1d096a26e0b3ff147b70ae94a64e3 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 13 Mar 2023 14:25:15 -0300 Subject: rm -rf aux/ po/ --- aux/ci/ci-build.sh | 66 ------------------------------------------------------ 1 file changed, 66 deletions(-) delete mode 100755 aux/ci/ci-build.sh (limited to 'aux/ci/ci-build.sh') diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh deleted file mode 100755 index 8d49779..0000000 --- a/aux/ci/ci-build.sh +++ /dev/null @@ -1,66 +0,0 @@ -#!/bin/sh -set -eux - -PROJECT="$1" -LOGS_DIR="$2" -SHA="$3" -FILENAME="$(date -Is)-$SHA.log" -LOGFILE="$LOGS_DIR/$FILENAME" - -mkdtemp() { - name="$(echo 'mkstemp(template)' | - m4 -D template="${TMPDIR:-/tmp}/m4-tmpname.")" - rm -f "$name" - mkdir "$name" - echo "$name" -} - -{ - echo "Starting CI job at: $(date -Is)" - - finish() { - STATUS="$?" - printf "\n\n>>> exit status was %s\n" "$STATUS" - echo "Finishing CI job at: $(date -Is)" - cd - - NOTE=$(cat <>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \ - "$STATUS" - } - trap finish EXIT - - unset GIT_DIR - REMOTE="$PWD" - cd "$(mkdtemp)" - git clone "$REMOTE" . - git config --global user.email git@euandre.org - git config --global user.name 'EuAndreh CI' - - if [ -e aux/with-container ]; then - RUNNER='sh aux/with-container' - else - RUNNER='sh -c' - fi - - $RUNNER 'make clean dev-check' -} 2>&1 | tee "$LOGFILE" -- cgit v1.2.3