From e5f1f217572fe5e8b0198091d03512d727f6a292 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 19 Apr 2021 02:29:17 +0100
Subject: [PATCH] make-release: Check changelog

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 make-release | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/make-release b/make-release
index 0322d174..1e802b61 100755
--- a/make-release
+++ b/make-release
@@ -62,6 +62,8 @@ tag="otter-$version"
 tag_exists=$(git for-each-ref "[r]efs/tags/$tag")
 if [ "x$tag_exists" != x ]; then trouble "tag $tag already exists"; fi
 
+head -1 CHANGELOG.md | grep "^Version $version" \
+|| trouble "CHANGELOG.md not updated"
 
 cargo_order='base . daemon wasm apitest wdriver'
 missing=(git ls-files :\*/Cargo.toml :Cargo.toml)
-- 
2.30.2