diff options
| author | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-07 19:52:57 +0000 |
|---|---|---|
| committer | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-07 19:52:57 +0000 |
| commit | 38e021570c6bdfaf45efb2123a4818aa6642789b (patch) | |
| tree | b2def84a90441618bf8adef69b65f31fc4a3a5e0 /emulators | |
| parent | 5bebc6d5dc7650acd02ea4f2f96c389ff8fb7f69 (diff) | |
Notes
Diffstat (limited to 'emulators')
| -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 34cd065b9631..5870edf05835 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 |