[m-rev.] packaging diff: Don't build Debian dbgsym packages

[Paul Bone]

Don't build Debian dbgsym packages

---
 debian/control | 2 +-
 debian/rules   | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 4c2af42..2105970 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: mercury
 Section: devel
 Priority: optional
 Maintainer: Paul Bone <paul at bone.id.au>
-Build-Depends: debhelper (>=9), autoconf, automake, flex, bison,
+Build-Depends: debhelper (>=9.20160114), autoconf, automake, flex, bison,
   libreadline-dev, texinfo, texi2html, libhwloc-dev, pkg-config
 Standards-Version: 3.9.7
 Homepage: http://mercurylang.org
diff --git a/debian/rules b/debian/rules
index a48f1da..d7773ec 100755
--- a/debian/rules
+++ b/debian/rules
@@ -30,6 +30,10 @@ override_dh_auto_clean:
 	chmod a-x samples extras benchmarks
 	if [ -x scripts/mmake ]; then dh_auto_clean; fi
 
+# Don't build dbgsym packages, they don't make sense for Mercury.
+override_dh_strip:
+	dh_strip --no-automatic-dbgsym
+
 # Testing isn't going to work until we can fix the Mercury build system.
 override_dh_auto_test:
 
-- 
2.17.1