diff options
author | trevor <trevor@FreeBSD.org> | 2004-02-07 19:52:57 +0000 |
---|---|---|
committer | trevor <trevor@FreeBSD.org> | 2004-02-07 19:52:57 +0000 |
commit | 7017ca3369e2d3630f5c5424cdb96606062871ad (patch) | |
tree | 60909f9be2b27f15877d718ad3c91f0ac954a376 /emulators/linux_base | |
parent | ef4acb2624647a65b2e79d643c84d2acc71a05c5 (diff) | |
download | FreeBSD-ports-7017ca3369e2d3630f5c5424cdb96606062871ad.zip FreeBSD-ports-7017ca3369e2d3630f5c5424cdb96606062871ad.tar.gz |
Try to mount linproc in post-install.
Diffstat (limited to 'emulators/linux_base')
-rw-r--r-- | emulators/linux_base/pkg-install | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/emulators/linux_base/pkg-install b/emulators/linux_base/pkg-install index 34cd065..5870edf 100644 --- a/emulators/linux_base/pkg-install +++ b/emulators/linux_base/pkg-install @@ -26,6 +26,10 @@ POST-INSTALL) echo 'Re-mounting linprocfs...' mount linprocfs fi + if [ -n "`grep -w ^linproc /etc/fstab`" ]; then + echo 'Re-mounting linproc...' + mount linproc + fi ;; DEINSTALL) if [ -n "`mount | grep -w ^linprocfs`" ]; then |