diff options
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:" |