4 commits

Author	SHA1	Message	Date
Trevor Johnson	6c7f7bf102	Add linux_devtools 8.0.	2003-10-12 05:47:42 +00:00
Edwin Groothuis	96908f5b9c	It seemed that devel/linux_devtools was repocopied to linux_develtools-6 ... and linux_devtools-7, but that the original directory never was removed. Finished this action and updated dependencies.	2003-04-17 11:38:43 +00:00
Marcel Moolenaar	23121be8c6	Fix brokenness in last commit: ... o Add missing fi o s/$GREP/grep/g Reported by: Siegbert Baude <siegbert.baude@gmx.de>	2000-08-21 23:20:05 +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