diff options
| -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 |