EXTRA_DIST += \
debian/changelog \
- debian/commands/reconfigure \
- debian/commands/update \
debian/compat \
debian/control \
debian/control.modules.in \
debian/ovs-switch-setup.8 \
debian/po/POTFILES.in \
debian/po/templates.pot \
+ debian/reconfigure \
debian/rules \
debian/rules.modules
+
+check-debian-changelog-version:
+ @if $(FGREP) '($(VERSION))' $(srcdir)/debian/changelog >/dev/null; \
+ then \
+ :; \
+ else \
+ echo "Update debian/changelog to mention version $(VERSION)"; \
+ exit 1; \
+ fi
+ALL_LOCAL += check-debian-changelog-version
+DIST_HOOKS += check-debian-changelog-version