[kido] 01/01: Fix debug package names

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Tue Feb 9 16:46:24 UTC 2016


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

jrivero-guest pushed a commit to branch master
in repository kido.

commit 99cdae42853a8984b7994153be62aecb5c3ec00d
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Feb 9 16:46:08 2016 +0000

    Fix debug package names
---
 debian/rules | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/rules b/debian/rules
index ff500b5..8e55e75 100755
--- a/debian/rules
+++ b/debian/rules
@@ -35,9 +35,9 @@ override_dh_auto_install:
 
 override_dh_strip:
 	dh_strip -plibkido-gui-osg0.1 --dbg-package=libkido-gui-osg0.1-dbg
-	dh_strip -plibkido-gui0.1 --dbg-package=libkido-gui0.1-dev
-	dh_strip -plibkido-optimizer-ipopt0.1 --dbg-package=libkido-optimizer-ipopt0.1-dev
-	dh_strip -plibkido-optimizer-nlopt0.1 --dbg-package=libkido-optimizer-nlopt0.1-dev
-	dh_strip -plibkido-planning0.1 --dbg-package=libkido-planning0.1-dev
-	dh_strip -plibkido-utils0.1 --dbg-package=libkido-utils0.1-dev
-	dh_strip -plibkido0.1 --dbg-package=libkido0.1-dev
+	dh_strip -plibkido-gui0.1 --dbg-package=libkido-gui0.1-dbg
+	dh_strip -plibkido-optimizer-ipopt0.1 --dbg-package=libkido-optimizer-ipopt0.1-dbg
+	dh_strip -plibkido-optimizer-nlopt0.1 --dbg-package=libkido-optimizer-nlopt0.1-dbg
+	dh_strip -plibkido-planning0.1 --dbg-package=libkido-planning0.1-dbg
+	dh_strip -plibkido-utils0.1 --dbg-package=libkido-utils0.1-dbg
+	dh_strip -plibkido0.1 --dbg-package=libkido0.1-dbg

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



More information about the debian-science-commits mailing list