3 commits

Author	SHA1	Message	Date
Trevor Johnson	1cf930b9cc	Lars Eggert reports: ... Installation of linux_base-7.1_2 fails when linprocfs is mounted. Unmounting linprocfs before installing works around the issue. At Lars' suggestion, this script also mounts the linprocfs after installation. I assume that if the user has a linprocfs entry in /etc/fstab, the user wants it to be mounted. It also seemed like a good idea to un-mount it before de-installation. PR: 46172	2003-06-10 14:57:03 +00:00
Marcel Moolenaar	ee3383d32d	Add missing ';;' in previous commit.	2000-08-21 23:43:25 +00:00
Sheldon Hearn	4e28d4de05	Do not rely on the linux(8) shell script. Instead, use an INSTALL ... script so that the behaviour of a package installation matches that of a port installation identically. Note that, in the package case, we already have a valid run-time linker hints file for Linux.	2000-08-15 10:22:36 +00:00