diff options
Diffstat (limited to 'emulators/linux_base-f10/pkg-deinstall')
| -rw-r--r-- | emulators/linux_base-f10/pkg-deinstall | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/emulators/linux_base-f10/pkg-deinstall b/emulators/linux_base-f10/pkg-deinstall deleted file mode 100644 index 176d678141fc..000000000000 --- a/emulators/linux_base-f10/pkg-deinstall +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh -# a deinstallation script for linux_base - -case "$2" in -DEINSTALL) - if [ -n "`mount | grep ^linproc`" ] || \ - [ -d /compat/linux/proc ]; then - echo "" - echo "You may need to do by hand:" - echo " o unmount linprocfs if mounted" - echo " o delete ${PKG_PREFIX}/proc if present" - echo " o remove/comment linprocfs from /etc/fstab if present" - echo "" - fi - ;; -esac - -exit 0 |