diff options
| author | Guillem Jover <guillem@debian.org> | 2004-09-23 11:12:49 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2004-09-23 11:12:49 +0000 |
| commit | c63ee6d6e9bd78f628c834c5f6bddf6856191ffb (patch) | |
| tree | c7ac8e141e272351c026d9fa4a74d2d8bb23a9e0 /debian | |
| parent | 0cb10ef8e578f533e05f2a640f88ecc601e026ab (diff) | |
Do not strip two times, including the -dbg package.
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 105998b..dfd3b7e 100755 --- a/debian/rules +++ b/debian/rules @@ -197,11 +197,10 @@ binary-arch: install-gnumach install-gnumach-dev install-gnumach-dbg dh_installchangelogs -a -k ChangeLog dh_installinfo -a dh_link -a - dh_strip -a + dh_strip -a -N$(pkg_dbg) dh_compress -p$(pkg) boot/gnumach dh_compress -p$(pkg_dbg) boot/gnumach-dbg dh_compress -p$(pkg_dev) - dh_strip -a -N$(pkg_dbg) dh_fixperms -a dh_installdeb -a dh_gencontrol -a |