Make check in release.sh for changelog more strict
Otherwise it would find forward reference to future versions in old
changelog entries and accept them.
@@ -24,7 +24,7 @@ if [ "$VERSION" = "$OLD_VERSION" ]; then
echo "Version already exists."
exit 1
fi
-if ! grep -q "BenchExec $VERSION" CHANGELOG.md; then
+if ! grep -q "^#* *BenchExec $VERSION" CHANGELOG.md; then
echo "Cannot release version without changelog, please update CHANGELOG.md"
exit 1
fi
