[gringo] 01/04: debian/rules: use pkgkde_symbolshelper dh addon
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Fri Nov 3 06:39:17 UTC 2017
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
More information about the debian-science-commits
mailing list