diff options
author | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-05 23:38:23 +0000 |
---|---|---|
committer | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-05 23:38:23 +0000 |
commit | 38fcc938f3bb6e6a042638e503065135adb2937a (patch) | |
tree | ede62e2327a43807033c69844dda1903e2c685e3 /emulators | |
parent | 4100e887255ffd312146d9b88843045d0d9a0fa2 (diff) |
Notes
Diffstat (limited to 'emulators')
-rw-r--r-- | emulators/linux_base/pkg-install | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/emulators/linux_base/pkg-install b/emulators/linux_base/pkg-install index 2d569a739289..34cd065b9631 100644 --- a/emulators/linux_base/pkg-install +++ b/emulators/linux_base/pkg-install @@ -16,6 +16,10 @@ PRE-INSTALL) echo 'Un-mounting linprocfs...' umount linprocfs fi + if [ -n "`mount | grep -w ^linproc`" ]; then + echo 'Un-mounting linproc...' + umount linproc + fi ;; POST-INSTALL) if [ -n "`grep -w ^linprocfs /etc/fstab`" ]; then @@ -28,6 +32,10 @@ DEINSTALL) echo 'Un-mounting linprocfs...' umount linprocfs fi + if [ -n "`mount | grep -w ^linproc`" ]; then + echo 'Un-mounting linproc...' + umount linproc + fi ;; esac |