From 963b950f201614078a432d1ac7568e8757d8df19 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 8 May 2019 20:51:31 +0200
Subject: Add a test that unreleased changelog of released versions is empty.

This test is active only when configure `is_a_released_version` is set
to true. In this case, to pass the test-suite, there must be no
unreleased changelog entries left, i.e. `doc/changelog/*/` must only
contain `00000-title.rst` files.
---
 test-suite/misc/changelog.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 test-suite/misc/changelog.sh

(limited to 'test-suite/misc')

diff --git a/test-suite/misc/changelog.sh b/test-suite/misc/changelog.sh
new file mode 100755
index 0000000000..8b4a49e577
--- /dev/null
+++ b/test-suite/misc/changelog.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+while read line; do
+  if [ "$line" = "is_a_released_version = False" ]; then
+    echo "This is not a released version: nothing to test."
+    exit 0
+  fi
+done < ../config/coq_config.py
+
+for d in ../doc/changelog/*; do
+  if [ -d "$d" ]; then
+    if [ "$(ls $d/*.rst | wc -l)" != "1" ]; then
+      echo "Fatal: unreleased changelog entries remain in ${d#../}/"
+      echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
+      exit 1
+    fi
+  fi
+done
-- 
cgit v1.2.3