diff options
Diffstat (limited to 'debian/hurd.postinst')
| -rw-r--r-- | debian/hurd.postinst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/hurd.postinst b/debian/hurd.postinst index dce5b99a..cdd9458a 100644 --- a/debian/hurd.postinst +++ b/debian/hurd.postinst @@ -41,3 +41,8 @@ if [ ! -e /dev/shm ]; then mkdir /dev/shm chmod 1777 /dev/shm fi + +if [ ! -e /proc ]; then + mkdir /proc + settrans -afgp /proc /hurd/procfs +fi |