[gringo] 01/04: debian/rules: use pkgkde_symbolshelper dh addon

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit a182ffd6279b85421d8611f337f3b68c683580b4
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Nov 3 05:00:59 2017 +0000

    debian/rules: use pkgkde_symbolshelper dh addon
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 168c0cd..ec45bbb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -54,7 +54,7 @@ export CC = gcc-7
 CXXFLAGS += $(CPPFLAGS)
 
 %:
-	dh $@
+	dh $@ --with pkgkde_symbolshelper
 
 # configure with cmake
 override_dh_auto_configure:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git