make release: use sed to check debian version

Use common sed tool instead of dpkg-parsechangelog (which is usually
available on debian systems only) to verify that debian version
information is consistent with version file.

diff --git a/Makefile.local b/Makefile.local
index 02afdd0f0308c24f2b71388f6e2dec5943d855d7..c94402b18d04e858fa89bd2e0a9b666fc14efeb5 100644 (file)
--- a/Makefile.local
+++ b/Makefile.local
@@ -207,7 +207,7 @@ endif
 .PHONY: verify-version-debian
 verify-version-debian: verify-version-components
        @echo -n "Checking that Debian package version is $(VERSION)-1..."
-       @[ "$(VERSION)-1" = $$(dpkg-parsechangelog | grep ^Version | awk '{print $$2}') ] || \
+       @[ "$(VERSION)-1" = $$(sed '1{ s/).*//; s/.*(//; q; }' debian/changelog) ] || \
                (echo "No." && \
                 echo "Please edit version and debian/changelog to have consistent versions." && false)
        @echo "Good."