From 19cea1947e64761f5ea57be5072102644501b609 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 28 Feb 2021 23:28:51 -0300
Subject: Update files under aux/

---
 aux/ci/ci-build.sh               |  2 +-
 aux/workflow/assert-changelog.sh | 14 ++++++++++++++
 aux/workflow/dist.sh             |  5 +----
 3 files changed, 16 insertions(+), 5 deletions(-)
 create mode 100755 aux/workflow/assert-changelog.sh

(limited to 'aux')

diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
index fb49e71..1c033fe 100755
--- a/aux/ci/ci-build.sh
+++ b/aux/ci/ci-build.sh
@@ -50,7 +50,7 @@ EOF
     RUNNER='sh -c'
   fi
 
-  $RUNNER 'make clean check public'
+  $RUNNER 'make clean dev-check public'
 
   rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete
 } 2>&1 | tee "$LOGFILE"
diff --git a/aux/workflow/assert-changelog.sh b/aux/workflow/assert-changelog.sh
new file mode 100755
index 0000000..d39f527
--- /dev/null
+++ b/aux/workflow/assert-changelog.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -eu
+
+PROJECT="$1"
+
+for VVERSION in $(git tag); do
+  VERSION="${VVERSION#v}"
+  DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
+  CHANGELOG_ENTRY="# [$VERSION](https://git.euandreh.xyz/$PROJECT/commit/?id=$VVERSION) - $DATE"
+  if ! grep -qF "$CHANGELOG_ENTRY" CHANGELOG.md; then
+    echo "Missing '$CHANGELOG_ENTRY' entry from CHANGELOG.md" >&2
+    exit 1
+  fi
+done
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
index b337ef0..afe2c92 100755
--- a/aux/workflow/dist.sh
+++ b/aux/workflow/dist.sh
@@ -16,10 +16,7 @@ if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
   exit 1
 fi
 
-if ! grep -q "^# $VERSION - $DATE$" CHANGELOG.md; then
-  echo "Missing '# $VERSION - $DATE' entry from CHANGELOG.md" >&2
-  exit 1
-fi
+sh aux/workflow/assert-changelog.sh "$DATE" "$VERSION" "$PROJECT"
 
 git tag "$VVERSION"
 
-- 
cgit v1.2.3