diff options
| author | Michael Banck <mbanck@debian.org> | 2007-08-09 14:38:09 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2007-08-09 14:38:09 +0000 |
| commit | e1794b561d3d900bf67734d6421a3db49316b9ea (patch) | |
| tree | a68e2bb9fe728a474ff143ae47bdc3e873ed768a /debian/rules | |
| parent | ebe7c4e888b26ddc8b1aff1a41173a6649f7e902 (diff) | |
Install servers.boot in debian/rules, not from debian/hurd.install
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 0e283194..9af14030 100755 --- a/debian/rules +++ b/debian/rules @@ -48,6 +48,7 @@ install/hurd:: install -m664 debian/hurd-console.default debian/hurd/etc/default/hurd-console install -m664 build-tree/hurd/console/motd.UTF8 debian/hurd/etc/ + install -m664 build-tree/hurd/release/servers.boot debian/hurd/boot/ install/hurd-dev:: install -m644 debian/local/soundcard.h debian/tmp/include/sys |