From 01a385abbfac35eb55be742b4cc027950340ea67 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Sun, 21 Feb 2021 21:09:51 -0300
Subject: Move "dist" target to aux/workflow/dist.sh

---
 aux/workflow/dist.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 aux/workflow/dist.sh

(limited to 'aux/workflow')

diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
new file mode 100755
index 0000000..bc01a8f
--- /dev/null
+++ b/aux/workflow/dist.sh
@@ -0,0 +1,17 @@
+#!/bin/sh
+set -eu
+
+DATE="$1"
+VERSION="v$2"
+
+if git show "$VERSION" 1>/dev/null 2>/dev/null; then
+  echo 'Version "$VERSION" already exists.'
+  exit 1
+fi
+
+if [ '$DATE' != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
+  echo 'Date "$DATE" is not up-to-date.'
+  exit 1
+fi
+
+git tag "$VERSION"
-- 
cgit v1.2.3