diff options
| author | Jeremie Koenig <jk@jk.fr.eu.org> | 2010-08-01 13:14:02 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2010-08-01 13:14:02 +0200 |
| commit | 8eb072f3b84c69318c33f1e03dfa93198192e87a (patch) | |
| tree | e41925884448729cdbc06e98e0aef057858de81a /debian/local/runsystem | |
| parent | eeabbc7446c128eeeeaa0abdf37824a8aee404ac (diff) | |
Start mach-defpager in d-i
* debian/local/runsystem (hurd-udeb): Start mach-defpager.
Diffstat (limited to 'debian/local/runsystem')
| -rwxr-xr-x | debian/local/runsystem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/local/runsystem b/debian/local/runsystem index 54354dc7..986fcabe 100755 --- a/debian/local/runsystem +++ b/debian/local/runsystem @@ -38,6 +38,7 @@ st socket/1 pflocal st socket/2 pfinet st exec exec st default-pager proxy-defpager +/hurd/mach-defpager echo . echo -n "Creating device nodes:" |