diff options
| author | Michael Banck <mbanck@debian.org> | 2008-09-04 22:16:26 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2008-09-04 22:16:26 +0000 |
| commit | a91a6b96d32b07c22db2958e8b2696f4fafb2f5d (patch) | |
| tree | 67410b022da88b4b532182a33d2f81518c18fc56 /debian/hurd.postinst | |
| parent | 2e5f9f4b3d815f25adb594aa6df238e5ce483d12 (diff) | |
* debian/hurd.postinst: Setup /proc if it hasn't been already.
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 |