diff options
| author | Pino Toscano <pino@debian.org> | 2013-02-27 22:24:12 +0100 |
|---|---|---|
| committer | Pino Toscano <pino@debian.org> | 2013-02-27 22:24:12 +0100 |
| commit | c24364fe84e8fff7105885830980d5443aaf5da5 (patch) | |
| tree | 6d051f6dd2c46bfcef1a75d031fcb11bcf0a6a3a /debian/hurd-dev.install | |
| parent | a9dfd4b2a4a06368a282a61ba8b4c59b6994d290 (diff) | |
Move /bin/timertest and /bin/fstests from hurd to hurd-dev
they are development-related utilities; add proper breaks/replaces.
Diffstat (limited to 'debian/hurd-dev.install')
| -rw-r--r-- | debian/hurd-dev.install | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/hurd-dev.install b/debian/hurd-dev.install index 181fc63f..48394b45 100644 --- a/debian/hurd-dev.install +++ b/debian/hurd-dev.install @@ -1,3 +1,5 @@ +debian/tmp/bin/timertest +debian/tmp/bin/fstests debian/tmp/lib/*.a lib debian/tmp/include/* usr/include debian/tmp/lib/*.so lib |