5 Commits

Author	SHA1	Message	Date
Marcel Moolenaar	e5c0d0cef0	Make sure an install can be restarted after a failure. While I'm here, update ... DESCR and COMMENT so that they both contain the proper name of the port and do not contain the word `emulation'.	1999-09-03 07:52:51 +00:00
Marcel Moolenaar	1756707292	linux_devtools is the reincarnation of linux_devel and obsoletes both ... linux_devel and linux-devel. Both will be removed from the ports collection at the proper time. linux_devtools uses Red Hat 5.2 packages to install a basic development environment. There's no functional difference between linux-devel and linux_devtools. The name of the latter is preferred over the name of the former. This port is repository copied from linux_devel. New name by: obrien Reviewed by: hoek Supervised by: asami	1999-07-21 11:16:13 +00:00
Tim Vanderhoek	72999de668	Smoothify style.	1998-08-23 01:16:34 +00:00
Eric L. Hernes	f4df19a2b8	may as well sync this with the linux_lib port	1997-04-14 19:04:08 +00:00
Eric L. Hernes	362cb7b639	new port for linux_devel, The linux cross-development stuff	1996-11-26 23:15:07 +00:00