X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fautomake.mk;h=7c656c8a8d284a12bd33881ba3b42ca079e40d6b;hb=882c2399908b0f33f73651ccfc3aaf76a7858ce4;hp=1b649453f6dc7d8f53fd40b96549eb99a12434be;hpb=c69ee87c10818267f991236201150b1fa51ae519;p=openvswitch

diff --git a/debian/automake.mk b/debian/automake.mk
index 1b649453..7c656c8a 100644
--- a/debian/automake.mk
+++ b/debian/automake.mk
@@ -61,3 +61,14 @@ EXTRA_DIST += \
 	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