diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-05 23:17:39 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-11-05 23:17:39 +0100 |
| commit | 573055eb4f44e819f983f083c52716bdec8edf14 (patch) | |
| tree | 5447723e985c3631c98f1066613259f8aad3f4dd /debian/patches/startup-usr-support.patch | |
| parent | 70557726e962deb57b081b34e1a44a0eccda05cb (diff) | |
sync with upstream packaging
Diffstat (limited to 'debian/patches/startup-usr-support.patch')
| -rw-r--r-- | debian/patches/startup-usr-support.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/startup-usr-support.patch b/debian/patches/startup-usr-support.patch index 1d705fc9..c7e12d12 100644 --- a/debian/patches/startup-usr-support.patch +++ b/debian/patches/startup-usr-support.patch @@ -12,8 +12,8 @@ Debian GNU/Hurd has a real /usr -PATH=/bin:/sbin +PATH=/bin:/sbin:/usr/bin:/usr/sbin - # Start the default pager. It will bail if there is already one running. - /hurd/mach-defpager + # Set up swap space. This will complain if no default pager is functioning. + swapon -a --- a/daemons/runsystem.sh +++ b/daemons/runsystem.sh @@ -11,7 +11,7 @@ |