[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