make-release: Check changelog

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/make-release b/make-release
index 0322d17438e42b14b2ef168d3fb426a373003d45..1e802b6148657ede50bdc015c924043aeda8772b 100755 (executable)
--- 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)