diff options
Diffstat (limited to 'emulators/linux_base/pkg-install')
| -rw-r--r-- | emulators/linux_base/pkg-install | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/emulators/linux_base/pkg-install b/emulators/linux_base/pkg-install index 7846395642ef..2d569a739289 100644 --- a/emulators/linux_base/pkg-install +++ b/emulators/linux_base/pkg-install @@ -12,6 +12,22 @@ PRE-INSTALL) exit 1 fi fi + if [ -n "`mount | grep -w ^linprocfs`" ]; then + echo 'Un-mounting linprocfs...' + umount linprocfs + fi + ;; +POST-INSTALL) + if [ -n "`grep -w ^linprocfs /etc/fstab`" ]; then + echo 'Re-mounting linprocfs...' + mount linprocfs + fi + ;; +DEINSTALL) + if [ -n "`mount | grep -w ^linprocfs`" ]; then + echo 'Un-mounting linprocfs...' + umount linprocfs + fi ;; esac |